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