type-hgz.mkii / last modification: 2020-01-30 14:16
\input type-ghz.mkii \endinput % can be file synonym