OK hijacking the account may be easier than manipulating sourceforge...

Well, JQuery needs gzipped about 19kb, so it's by itself a candidate for an embedded external JS...

But I see your point.