Ah, yes, my mistake, he was only thinking of switching to nano:
> And it's all done in a traditional terminal, although I don't use 'vi'. I use this abomination called "micro-emacs", which has absolutely nothing to do with GNU emacs except that some of the key bindings are similar. I got used to it at the University of Helsinki when I was a wee lad, and I've not been able to wean myself from it, although I suspect I will have to soon enough. I hacked up (a very limited) utf-8 support for it a few years ago, but it's really showing its age, and showing all the signs of having been written in the 80's and the version I use was a fork that hasn't been maintained since the mid 90's.
> University of Helsinki used it because it worked on DOS, VAX/VMS and Unix, which is why I got introduced to it. And now my fingers are hardcoded for it. I really need to switch over to something that is actually maintained and does utf-8 properly. Probably 'nano'. But my hacked-up piece of historical garbage works just barely well enough that I've never been really forced to teach my old fingers new tricks.
Actually a few years ago schools started lending laptops (which you have to return at the end of the school year), but as far as I remember we never used them in class.
I can't quite recall if this was before the covid outbreak, but I think we still had in person classes that year.
In the end I decided to just replace it with uBlock origin plus some filters [0], [1], [2].
While this solution doesn't add a convenient button in the UI to show the hidden domains and to quickly block them, for some reason this extension didn't work if I had javascript disabled, while the native uBlock one did.
I believe there's also a userscript that does something similar, but I never tried it.