An extensible text editor primarily for Python code