A HTML5/JS library for a code editor area with syntax highlighting, completion, etc.