Ah, I read "any key" as referring to the delete/backspace keys. In retrospect it makes perfect sense. To be honest, I still consider this efficient and consist

Ah, I read "any key" as referring to the delete/backspace keys. In retrospect it makes perfect sense. To be honest, I still consider this efficient and consistent. Deletion and replacement are both operations that can be applied to selections. For that matter, so is applying a regex, but I'm revealing too much about my editor preferences to have any stake in "sensible UI". ;-)