Manually minifying JS since it's weird on GitHub.