GUI-337: Enable CodeMirror to allow policy edits in a textarea to be far less painful.