GitLab

(Shell Mode): Add xref to `Shell Prompts'.  Clarify `C-c C-u'
description.  Delete remarks moved to new node.
(Shell Prompts): New node.
(History References): Replace remarks moved to `Shell Prompts'
with xref to that node.
(Remote Host): Clarify how to specify the terminal type when
logging in to a different machine.