GitLab

(Smart Jump, Analyzer Debug): Copyedits.
(Semantic mode user commands): Link to new nodes.
(Speedbar, SymRef, MRU Bookmarks, Sticky Func Mode)
(Highlight Func Mode, Tag Decoration Mode): New nodes, from the
upstream Semantic manual.

* semantic.texi (Introduction): Minor fix to diagram.