I am enjoying continued use of this excellent add-on. Hopefully, the Webextensions API will improve to the point where it can be used as before. Thanks to the developer for the hard work getting it to were it is today which was a lot to do after all his previous hard work was rendered inoperable due to Mozilla's poor decisions in implementing only an incomplete/ineffective new extensions API.