I could be wrong, but because you are loading a script from their server, and the following script is only a few characters, you should probably just load it as you have been. The main.js file is mostly for calling your custom javascript or jQuery functions.