[Python-Dev] Further PEP 615 Discussion: Equality and hash of ZoneInfo