Possibly, but we always used red pens. Remember pens? ha.

Those words were used way before spellchecker was invented. Way, way, way before. Just a tidbit from a very old journo.