Separate Javascript file

Daniel's post shows the method:

Let us know if that does the trick!

The other alternative is to use a CDN for the file and use that setting; we're looking to provide a more permanent solution in the future.