Considering moving back to TextExpander but not because it’s better.