I don't see a fundamental difference between that and having the JS file itself somewhere. I'll read the copyright law again, maybe I can do that. Could you open a Github bug for this, asking to investigate if it's allowed to have the plugin pick up a file for inclusion? I'm on my phone and the interface isn't as nice for phones
EDIT: Alright, I'll give it a shot based on sections 29.21 and 29.22 of the Copyright Act.