Especially considering it is vanishingly unlikely for a Windows user to inadvertently send you a command key down, or the Mac to send you a ctrl down. It's not like you have behaviors to swap.

That's actually a really good idea. I just looked at how a few other sites handle this, and that seems like a common take. I have updated the code!