I'm happy with FeedBro (browser extension), very customizable.

I know git ≠ github.com.
I also know legal jurisdictions play a role in life, especially lately.
Thankfully the license is permissive and i've been preferring freenginx, but i was curious to know others' opinions.

2 fingers on all 3.

I'd mean people who don't know linux in particular but are marginally tech-savy.
Mint has been described as "the distro your granny can use" (and some do), but it does require some knowledge to at least install it — but it's nothing a tutorial somewhere won't help with, it's a low bar.

You're probably thinking of PairDrop (which also allows extranet).

What about midget?

It's an at-scale company, orders came from way above. As did RTO after 2 years full-at-home, etc, etc.

Atm main sys is a ZFS RAIDZ1 on 3 SSDs
Weekly-ish backup onto 1TB external HDD.
Sync encrypted important stuff to Cloud.
Syncthing some stuff to smartphone.

Proton's CEO seems to be a right-wing jackass.

I was gonna say, if you want formally verifiable, you'd have to go Ada.

the problem is the C developers to get to work on it together.

Perhaps the problem is you wanting developers to work on something they don't want to work on.
The problem is wanting to shoehorn a new language into an existing, long-standing large-codebase project.
Forking is the obvious solution but rustaceans know that's a pretty daunting task...
The next best thing is to develop in parallel, refactoring parts (usually drivers) without interfering with the existing codebase.

Priorities, amirite?