Keeping html5-basic-editor.js around for the fun of it