Re: [Python-Dev] marking os.system() as deprecated in the docs