> On 5 Dec 2021, at 16:51, Brar Piening <b...@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
