I’m able to fix it by migrating from page_action to action, but page_action still works on desktop Firefox, and I don’t want to migrate to action unless absolutely necessary, because page_action has better UX.
Did Firefox intentionally kill page_action on Android, or is that a bug? Is there a recommended way to for an extension to use action on Android but page_action on desktop, while sharing the same manifest.json file?
Update: My workaround is to set both action and pageAction, but this results in duplicate icons on Firefox <= 141. I plan to do something smarter after Firefox fixes the bug.
If replace browserAction with pageAction in WebExtensionsMenuBinding.kt, then (the previous version of) IPvFoo starts working again.
Mozilla really needs to acknowledge whether pageAction is a supported API or not. Someone wrote a blog post on this topic a few years ago (Killing the Page Action API in Firefox’s Manifest V3 is a Mistake) but I don’t think Mozilla said anything about it. Leaving the API accessible but broken is worse than deleting it.