an integrated writing environment based on Node.js, WebKit, and TypeScripts