documentation: it's Doxyfile.xml I shall ignore, not Doxyfile.html.
documentation: it's Doxyfile.xml I shall ignore, not Doxyfile.html.

Made an error in 45911a18 and apparently it was fine because it silently
returned in some later check.

mosra/m.css,mosra/m.css,mosra/m.css,mosra/m.css