Re: [Python-Dev] Removing files from the repository