GitLab

(@verb, @image): new commands

(@kbdinputstyle, @vskip, @evenfooting, @evenheading, @oddfooting,
@oddheading, @everyfooting, @everyheading, @documentdescription):
Add these commands, none of which should appear in an Info
environment; but if they do, these definitions should cause
them to be discarded.