What overlay? That looks like Windows 7 with the Aero theme disabled to me.

I see why automatically giving them out (like in ACME) would be a bad idea, but other than that, why not? Even https://1.1.1.1 has a DigiCert cert.

There are more reasons, as LetsEncrypt might be more restrictive on what you can get (for example, you cant get a certificate for an IP address from them). But, as 99.99% of usecases do not require anything like that, go with letsencrypt until you know of a reason not to.

Note that Git doesnt store deltas. It will reuse unchanged files, but stores a (compressed) version of every file that has existed in the whole history, under its SHA1 hash.

“Is it already Monday?”

What should it do instead? I think the only reasonable action would be not showing it if the licence file was changed.

Is this post about Github seemingly detecting an incorrect licence? The project was relicenced in a later commit, so I dont think this behavior is entirely wrong.

mautrix/telegram is a bridge between Matrix and Telegram. It mostly lets users of Matrix contact their friends who use Telegram. It is not a fork of Telegram and has nothing to do with the Telegram interface. (Note: OP wanted to use the Telegram client with a non-Telegram server. If you know of a Matrix client which looks and feels like the Telegram client, thats what theyre after.)

How is this relevant?

Likely yes. See the termux-notification-remove command from the termux-api package. (You will need the Termux:API plugin.)

Run a ssh server on the phone and rsync stuff over.

I have a built-in “PDF Viewer” app in my GrapheneOS. (app.grapheneos.pdfviewer)

Why would banking be an issue? I get that its a target, but I really would expect a bank to take care of their TLS.

Well, was it locked?

How is that an exception? Sure, it is sandboxed, but I really do not consider that “degoogled”.

Honestly, no. Whenever I see late notifications its usually on a degoogled phone, so this was just my first guess. Good luck!

In that case, is Google Play Services allowed to run in the background / unrestricted / whatever? It is the means to delivering notifications for most apps.

Do you use Google Play Services or is that a deGoogled Android 13?

If your use-case is monitoring packets, why not go for an app made for that, such as Wireshark?

What is the format of these videos? Im afraid you wont get much compression out of conventional file compressors, as video files are usually already compressed to the point where you would have to reencode them to get a smaller file.