TinyMCE Plug-in for improving the user experience in the HTML Editor, adding code highlighting, indented code, line numbers and more