> > text editors which auto-convert double space into ". "

> I have seen that as a feature on Android keyboards, but I would be very much surprised to find it in non-keyboard software.

It just happened to me in VS Code! Not even a Copilot thing

[a few moments later...]

It turns out to be a macOS system setting, defaulted to on, that is polluting everywhere

https://github.com/AdamMaras/vscode-overtype/issues/9#issuec...

Fun. That shuffling of its location in Ventura reminds me of how Windows has shifted some things over time, sometimes more than once or twice. The dialog where you can stop Ctrl+Shift from switching keyboard layout has been in at least eight different places over time <https://superuser.com/q/109066>, possibly more.