[Python-Dev] Let's use the SourceForge Patch Manager