On Mon, 13 Jan 2025 20:40:38 +0100,
Marcus Glocker <marcus@nazgul.ch> wrote:
> 
> I think it's OK to commit altogether.  If we would need to revert
> (which I think is either unlikely), we also can revert the man page --
> no big deal.  Lets wait for the bulk build results :-)
>

fair, I had incorporated your changes into my diff.

-- 
wbr, Kirill