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 <piotr.karw...@gmail.com> 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 end > up in the text. > > Of course this doesn't need to be a PMC decision: when I reformat a > page I'll remove the names of the authors that are OK with it (and I > won't add mine ;-) ). > > Piotr