WordPress plugin that adds syntax highlighting to the Post/Page HTML editor