> On Jan 20, 2019, at 2:24 AM, Viktor Dukhovni <ietf-dane at dukhovni.org> wrote: > > I've tidied it up a bit more below my signature. Would you like > to add this to that ticket, or should I? I went ahead and updated the ticket. I hope you don't mind... -- Viktor.