“Copyright holders who initiated the blocking are required to monitor the blocked websites to ensure they still meet the criteria for blocking. If the conditions are no longer met, they must inform the Clearing House, which then notifies the ISPs to lift the block,”

They have no incentive to monitor and unblock them, it would just be more work (and therefore cost them more) to do this. When the list of blocked sites isn’t even public, there’s no way for them to be held to account unless someone sets up a service to check - just like this student did.

Ubuntu font? Good font

You could look at setting up a discord bridge on the matrix server to bridge messages between the two. Pine64 have had something like that for quite a while on their discord & matrix.

Also echoing what’s been said already, I did initially think this was some air pods style product from Pine64, as they prefix almost anything they make with Pine

Right, but you asked why not type it, I was giving you a reason why. That’s also why I put in the disclaimer about having your hand on the mouse.

If you’ve just opened a new tab, your hand is on the mouse and the page you want is one click away, why bother typing?

Yeah, it’s not FOSS, but sleep as android is great. You can set various “captchas” that need to be completed to turn the alarm off, you can connect it to smart home stuff to turn on/off lights or open curtains and the general customisability for the alarm settings is extensive.

Until they randomly ban you and shut down your free services

They have installation instructions on the Github

You should be able to update the config file for SearXNG to add the port to the URL. Then just restart SearXNG; removing and re-adding the search engine to Firefox should make sure it’s updated to use the correct port. In the settings.yml file, under the server: section is the setting you want to change:
base_url: http://192.168.1.65:8887/
Leave port: unchanged

Is the stove located somewhere with a decent WiFi connection? It seems like it would be easier to use ESPHome and an ESP32 board to integrate a complicated one-off device

A bit like this? https://github.com/Anuken/Mindustry/commit/5548e727501793479c4cdb557e267a9441dd5698