Is NoScript expected to be ported over to the WebExtension API? I know there were numerous bugzilla tickets tracking its feasibility, but not sure what's the final verdict and expectation?