GitLab

reference name.  Don't process a reference twice when a new tag is
inserted.
(Info-hide-note-references): Fix doc and customize type.