{- this is a dummy module for install detection. -} module Embeddock where