make the HTML editor the default