(texinfo-environment-regexp): Match @menu and

(texinfo-environment-regexp): Match @menu and
@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.