If/when https://github.com/ethereum/EIPs/pull/4560 is merged, there will be no remaining EIP which does not have a username/email, so this can be enforced without exceptions.
If/when ethereum/EIPs#4560 is merged, there will be no remaining EIP which does not have a username/email, so this can be enforced without exceptions.