FWIW I believe there might also be some unresolved behaviors where names should be required but are not. I think it might be a good idea — and potentially block on this pitch — to first of all try and maybe clean up any of those loose ends and either update the documentation (if the implementation is correct) or update the implementation (if the documentation is correct).