On Fri, 3 May 2024 at 00:00, Alexander Lakhin <exclusion(at)gmail(dot)com> wrote:
> (some of them are located in doc/, so it's not a code-only change)
> I've attached the patch for your convenience, though maybe some
> of the suggestions are to be discarded.
Thanks. I was hoping you'd do that.
I pushed the patch after only adjusting the path in the docs which had
"module" rather than "modules".
David