* drafts/HECFS/HECFS.cabal: