Thanks! TextExpander is a great product indeed, but it did not work on Linux and that's one of the reasons why I originally created espanso :)