Trivia: My favorite feature of @TextExpander 1.3 (released 13 years ago today) was that you could type a backspace in the middle of an abbreviation, make a correction, and your snippet would expand. Prior to that, you had to type any and all abbreviations with no mistakes.