Using the old (but trivial) build infrastructure.
Build improvements: getting out excessive empty lines, adding nice Chrome-inspired printable new line character.
Rebuild from the latest typescript.
Saving in HTML using <script> tag rather than <pre> tag.