Add “text editors” page to HTML book