Note on replacing TextExpander with Keyboard Maestro