I have no horses in this race and lack the expertise to judge, but this is part of a larger fight and djb seems to be on the other side of a lot of good cryptographers:

https://mailarchive.ietf.org/arch/msg/tls/ZBpcicZX1Dxnam2gMa...