Ich kam auch bloss noch mal drauf zurück, da nach einer anfänglichen Diskussion und einem Missverständnis keine Reaktion mehr kam, nachdem ich meinen Vorschlag noch mal erläutert hatte.
Das man Tippfehler deswegen nicht zusätzlich noch auf andere Art behandeln kann, wollte ich damit ja auch nicht ausschliessen