Re: Get rid of "Section.N.N.N" on DOCs

On Tue, 2025-12-23 at 11:39 -0300, Marcos Pegoraro wrote:
> If everything is okay, we can start rewriting all places that sounds strange in the HTML file.
> But this is a much slower process, as it requires reading all the affected pages.

Perhaps you should wait for other's opinions, before you start that effort.

Yours,
Laurenz Albe