> On May 14, 2024, at 8:00 AM, Piotr P. Karwasz
> wrote:
> >
> > Can we remove author lines in documentation pages?
> >
> > These lines are becoming crowded and somehow IntelliJ IDEA formats
> > author lines badly (i.e. inserts a blank line before them and they
IMO, yes. I had them due to something needed them in the tooling we used to
use. But like code, tags in the docs aren’t very valuable.
Ralph
> On May 14, 2024, at 8:00 AM, Piotr P. Karwasz wrote:
>
> Can we remove author lines in documentation pages?
>
> These lines are becom
Can we remove author lines in documentation pages?
These lines are becoming crowded and somehow IntelliJ IDEA formats
author lines badly (i.e. inserts a blank line before them and they end
up in the text.
Of course this doesn't need to be a PMC decision: when I reformat a
page I'll