allow profile settings to be altered via URL
allow profile settings to be altered via URL

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