@djb man, I don't envy you dealing with this IETF WG.