GitLab

(ignoreindent): Renamed from noindentypedefs.
(cjava, cplpl): They are now macros instead of local vars.

(HTML_labels): Tag ID= also.