You can actually change the server in a hidden preferences page. Go to /html/preferences.html in the extension.