I just found out that what I thought was the "insert" function of a #keyboard is actually called "overtype" or "overwrite"... and that the normal text input method is called "insert."
But you have to push the insert key to get to overtype. So... I assume overtype was the default at some point in history??
Linux Geeks doing what Linux Geeks do..