> On 5 Dec 2021, at 16:51, Brar Piening <brar@gmx.de> wrote:
> The attached patch adds id's to various elements in protocol.sgml to
> make them more accesssible via the public html documentation interface.
Off the cuff without having checked the compiled results yet, it seems like a good idea.
—
Daniel Gustafsson