HTML Editor This is a WIP modification of the browser’s built-in contenteditable html editor, with some improvements. E.g., use <p> tags instead of <div> and <br>. Uses npm.