@djb from what I've seen, it looks pretty bad, yeah. But at this point the question is whether you want agreement on that or just the document to not get an IETF "stamp of approval". Getting the latter is much easier, at the cost of the former. The IETF is really shit at doing "negatives", i.e. not accepting work. It's a general problem (I'm in the routing area). You can keep pushing to try to get one of those rare "no"s, but it's gonna be incredibly tedious. It's absolutely not worth it IMHO.