These are programming details that the user should not have to think about.

Second this. I was so happy I bought a second one for work.

Mogwai is fantastic, will check out your other suggestions.

Can you switch to a job with more of a research focus? Maybe that is hard to find in the area that you want (I have no idea what formal verification actually is).

As someone who has been through it the mental and financial toll is indeed significant, so you are smart to be asking about it.

Might as well name your country?

What’s the correct way to implement it so that it can still be automated? Credentials that can write new backups but not delete existing ones?

Real estate agents

Keychron has some good options, though I haven’t tried their silent switches.