Alex Beregszaszi writes: > > > are cosmetics accepted now? > > I hope so. > No, but they were always accepted in DOCS Not always but ever since the docs maintainers voted down Arpi on the issue. Shouldn't we allow cosmetics if they are done in self-contained separate commits? Diego