On Sat, May 8, 2021 at 3:16 AM M.-A. Lemburg firstname.lastname@example.org wrote:
There's a new documentation WG dealing with documentation issues.
Thanks — I hadn’t had a chance to point that out — but that’s where folks can contribute— kibitzing on this list is just a waste of time.
I don't know whether styling and corporate identity is part of the scope,
They just announced a new theme — so yes.