We're now using a vastly improved HTML editor. Please let me know any bugs you find. You can turn it on/off here.