Ported some extensions to Python.
Renamed files.