Revert python to python.el