Yes, that’s true for the git repo itself, but a git forge can provide a multitude of related services, including issues and pull request management, CI/CD pipelines, wikis, static content hosting, package registries, etc. which are not as easily migrated.

I just use the texlive docker image instead. It is also huge, but at least it is decoupled from system updates

It’s real hardware dimming.

One has to find the right balance between security and comfort, and this entirely depends on the threat model one has. Nowadays, I will always enable full-disk encryption on all of my devices, even if I then decide to store the keys in TPM and unlock the disk at boot.

I have at least 5 half-broken HDDs sitting around, completely unencrypted, I have no idea if they still work, but they are surely full of private data that I would like to have purged. I fear mechanical destruction might be the only solution for some of them, but just wiping them manually is more effort than doing nothing, so I guess they will still be around for some time. And with SSDs, there is no reliableway delete all data.

With encryption? Just delete the key and you are done.

The threat model changes in the future? Easy, the data is already encrypted.