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