This is the JOVE text editor, version 4.14.6.