[Python-Dev] sourceforge data (was: Let's use the SourceForge Patch Manager)