I do think that using a script tag might actually be a better idea. This will prevent people from accidentally adding an INCLUDEJS in front of the one for core.js. If it's a bit of ugliness vs. people potentially breaking their javascript/ajax functions I'd go for the first one.