Re: Author lines in documentation

2024-05-14 Thread Gary Gregory
> 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

Re: Author lines in documentation

2024-05-14 Thread Ralph Goers
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 b

Author lines in documentation

2024-05-14 Thread Piotr P. Karwasz
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 remove