Hacker News new | ask | show | jobs
by vijayp 4036 days ago
You can actually change the server in a hidden preferences page. Go to /html/preferences.html in the extension.