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