On 12/9/2022 3:27 PM, Derek Buitenhuis wrote: > --- > doc/protocols.texi | 5 +---- > 1 file changed, 1 insertion(+), 4 deletions(-) I will push these two later today if there are no objections. - Derek