> Let's take a concrete example: typing a quoted string. My go-to input sequence is to type " " [left], i.e., typing two quotes at once and then moving the cursor back into the middle of the two, ready to type the string itself: "|".

That's quirky, but works fine in VSCode (where auto-closing quotes is also configurable). I wonder what editor(s) the author was thinking of?