GitLab

Use info-node font for the node's own name,
and do not make it mouse-sensitive.

(Info-find-node): Update Info-history after switching buffer.
(info): If no arg, and *info* buffer exists, just go to it and don't alter it.