There we go. Have managed to find a pretty decent TextExpander-like application that works in Ubuntu. Will need to see if it creates too much overhead, as I'm often running out of RAM on this machine …