GitLab

This is already used in most places. ``...'' does not get specially
converted by texinfo in @menu descriptions.

* doc/emacs/emacs.texi, doc/emacs/help.texi, doc/emacs/text.texi:
* doc/lispref/elisp.texi, doc/lispref/vol1.texi, doc/lispref/vol2.texi:
* doc/misc/sem-user.texi, doc/misc/url.texi, doc/misc/woman.texi:
Use "" quotes in menus.