Giorgio's post on the matter: https://hackademix.net/2015/08/22/webextensions-api-noscript...