Johan> Is it actually worth the pain to remove the old names?
Yes, at least in my opinion. From the Zen:
>>> import this
The Zen of Python, by Tim Peters
...
There should be one-- and preferably only one --obvious way to do it.
...
The obvious way to make something into a string in Python is to call str().
Skip