GitLab

(Editing Format Info): In Info, add duplicate menu of nodes
about the submenus.
(Format Faces): Say where Faces menu is found.  Mention Other.
(Format Colors): Say where these submenus are found.
(Format Indentation, Format Justification): Likewise.
(Format Properties): Likewise.