No idea what the spec says or if their is one that pertains to this.
But if I reference a file multiple times I want the browser to load it that many times otherwise I shouldn't be referencing it multiple times. I understand his issue but it sounds like the code should be checking to see if the library has loaded and not requesting it if it already has. And IE has the correct behavior.