Wow, the addon was very fast to be ported to web-extension. Works great! You can tell support cares about good service.