\dhead{gf}{module-items @<module> @> @<list>}
\dhead{gf}{module-dependencies @<module> @> @<list>}
\dhead{gf}{module-state @<module> @> @<keyword>}}
\dhead{gf}{module-items @<module> @> @<list>}
\dhead{gf}{module-dependencies @<module> @> @<list>}
\dhead{gf}{module-state @<module> @> @<keyword>}}