TorBrowser's modifications to NoScript's mandatory whitelist break some webextensions when permissions are cascaded