The xml comments that are either in source documents or added via stylesheets are now being stripped.
(The generated mirrors.html for our site-author is missing the special html comments that are parsed by mirrors.cgi script.)
Description
The xml comments that are either in source documents or added via stylesheets are now being stripped.
(The generated mirrors.html for our site-author is missing the special html comments that are parsed by mirrors.cgi script.)