The Opera version of the extension is failing to override MathQuill while DesModder is not installed. After some testing, it looks like this is due to the webRequestBlocking permission not having the expected behavior, even though it should be supported in manifest v2.
But as of July 6, 2022, the Opera store supposedly has started accepting manifest v3 extensions (see this discussion). So simply migrating to manifest v3 for the Opera build should fix this.
SinclaM
commented
2 years ago
The Opera version of the extension is failing to override MathQuill while DesModder is not installed. After some testing, it looks like this is due to the
webRequestBlockingpermission not having the expected behavior, even though it should be supported in manifest v2.But as of July 6, 2022, the Opera store supposedly has started accepting manifest v3 extensions (see this discussion). So simply migrating to manifest v3 for the Opera build should fix this.