GitLab

@titlepage --- they require @ends.  Don't match @defunx commands; they don't.
(texinfo-insert-@end): Don't put a command name after the @end
if we ran off the top of the buffer looking for its mate.