use built-in URL handling rather than jquery (which tries to parse some JS files???)
use built-in URL handling rather than jquery (which tries to parse some JS files???)

espruino/EspruinoWebIDE,darkmoon32/EspruinoWebIDE,darkmoon32/EspruinoWebIDE,darkmoon32/EspruinoWebIDE,espruino/EspruinoWebIDE,espruino/EspruinoWebIDE