highlighting.py: Change "Text Only" to "Plain Text", to represent how boring it is
Use pretty-titles for language names with functional auto-complete