He uses a version of Emacs called MicroEmacs.

I recall seeing his MicroEmacs configuration a while back when I was exploring options to start using Emacs.

Pardon me if I sounded dismissive. 1Blocker is good, and so is AdGuard.

I remember those being one of the first ones to do the job well, back when Apple launched content blockers. Wipr came much later, and I only recently switched to it (around late 2022).

• Windows 95, 98, 2000, XP, 7 spanning a decade and a half.
• Ubuntu 10.04 going up to the release where Unity became the default DE (11.04, I think). Came back to 10.04, as it was an LTS release.
• Linux Mint Maya because of Cinnamon, and it was terrible.
• Fedora 16 to 25 or 26.
• Linux Mint 19

Been with Linux Mint ever since. It just works. LM19 was also around the time when I stepped into Apple’s walled garden with iOS and macOS.

On Safari for iOS and macOS, I prefer Wipr instead of 1Blocker.

It’s lighter, easier to use, cheaper, scores more on d3ward’s ad-block test (but that may fluctuate).

E: added specific browser.

some governments […] have been trying linux as a way to cut expenses

I have been hearing such news for close to two decades but not without news where many such organisations switch back to using proprietary software due to a mixture of reasons ranging from usability to politics.

Though I agree with your overall point, I can’t see why rounded corners (or the lack of it) might be a noticeable issue.