I've been using ETP plus adblock-rs in Waterfox for 2 weeks. I don't see much a difference compared to ETP + ublock origin apart from some cosmetic filtering. The fact that it's not an extension supposedly allows to block at more layers so it's theoretically better than an extension (https://github.com/BrowserWorks/waterfox/issues/4182)
Note that there are (were?) also some small bugs in the waterfox integration (such as the configuration options sometimes disappearing).
There exists winden.app which is a magic wormhole webapp. They use their own mailbox and relay so you need to use the right options in the wormhole CLI.
Is this move the reason for the random 403 errors I get from the tumblr rss feeds I follow? Since a few weeks ago, some feeds are disappearing then reappearing, sometimes they are unavailable for a few days, sometimes it's back the moment I refresh. If the move is in the future, I guess that means they have neglected the current platform.
You do not need a different algorithm for each real.
Just take the algorithm that proves the statement for rational p. It proves the statement for all reals bigger than p. (hence having as many algorithms as there are rational (countably many) is enough)
Note that there are (were?) also some small bugs in the waterfox integration (such as the configuration options sometimes disappearing).