On Mon, Apr 10, 2023 at 09:47:08AM +0100, Steve Atkins wrote:
> Yes, I’ll do that once I get some time to get the doc toolchain working.
Well, if you don't want to spend time setting up a toolchain, feel
free to send a patch just hacking the SGML files. I am OK to take it
from there, as long as the idea behind the patch is clear.
--
Michael