I was talking about
$1 which I think is actually based on
$1. There are few things quite as annoying than trying to figure out a company's website to download a random piece of software you're only going to use once - hooray for package managers.
When you have a Command key, Ctrl always works as you'd expect in the terminal. I agree that it's a very expensive key, but it also comes with a competent screen reader, so there's that.
You might be missing out on accessibility improvements from Windows 10, but I also don't love it.