Alexey Melnikov writes:
This is not correct. The main reason is that the editor ran out of time/energy and considering other IETF committments can't get ACL2 finished.
OK. Arnt