That said, now I'm starting to think: do we really want these to be merged into one file the way they are now? Maybe we could be smarter with the JS compiler/lazy loader.