The impression I got from the article is that you'd just open it up with whatever HTML editor you want. Particularly where it says "authors can further customize their books with HTML5 or JavaScript". That's pretty well spec'd.