Re: [Python-Dev] Add platform.py to the standard lib ?!