Note: main.js has been compiled from TypeScript sources in ../../src/typescript, which are far easier to read or modify.