A dynamic, extensible text editor for Python