This page is TypeScript compiled to modules; it needs JavaScript.