The proton client for Linux has improved recently. I use it on PopOS. As to your first point I agree. I landed with Proton specifically because it was cheaper to do it and email rather than separate services.

I thought we found Carmen Sandiego.

To have one ready out of the box with linux maybe look at the System76 offerings? https://system76.com/

Edit: just got a chance to check and they are slightly above your $1000 criteria. So maybe on his recommendation.

Pretty sure that the very first gen Google ?dot? Mini speaker has physical disconnect.

It’s fairly good. I find the autocorrect to be poor and result in a much lower typing speed though.

Highly dependent on workplace. Many with govt contracts could feel an obligation to punish this.