ESC:wqENTER to write then quit
I would just go with
ESC:xENTER
ESC:wqENTER to write then quit
I would just go with
ESC:xENTER
The problem here is that customer support is usually required to follow the "standard procedure", and "deviation" from the procedure calls for disciplinary action. In other words, once you are into customer support, you are required to keep your common sense at home. That doesn't make it any less of a WTF, but not for the reason that you are alluding to.
It has been a long time since I used "advanced" C++, but I recall using an explicit template instantiation to a similar problem ages ago.
Koka is a "strongly typed" language. A string was expected but some stupid used something else, and hence you see everything is "undefined".