@mitch I spend far more time typing raw text than word-processed documents. It's not just old muscle memory; I'm actively reinforcing it every day. About the only context in which I don't put a second space is when using a phone keyboard.