An extensible text editor written in Python