I hate that this feature doesn't have a timeout, so when you want to type "--" you have to "- -" and then go back and delete the space. You can't just wait as w

I hate that this feature doesn't have a timeout, so when you want to type "--" you have to "- -" and then go back and delete the space. You can't just wait as with double-space vs space-wait-space. It can be turned off, but that turns off other locale-based punctuation like quotes.