The whole point of the parent comment asking is that you can now install proper WebExtensions, so depending on what APIs they allow, this could change.