GitLab

* vol1.texi (Top):
* vol2.texi (Top):
* elisp.texi (Top):
* display.texi (Display Property): Shorten the menu description of
the "Other Display Specs" node.