I use the Chrome extension extensively. Although it is clearly not for first-time users, the port works as well as the Chrome Extension.

After the recent update, this extension works like a charm. Kudos.

Edit: Works for me! Many thanks to the developer!