[Python-Dev] Re: A proposal to modify `None` so that it hashes to a constant