Some more changes to tramp, python, key bindings.