ajaxorg/ace based WordPress code editor (a WordPress plugin)