For years I avoided installing keyboard shortcut tools on my computers. I
thought dog-gonnit, if something needed to be typed out, I'd type every
letter myself. Recently I capitulated, however, and I must say, going
back seems unlikely. If you've never tried a text-replacement app, I
highly recommend doing so.