[Python-Dev] Do we need port some extension modules to the modules directory?