Michael Hucka wrote (at 10:15 on 24 Oct 2018): > Ah, fabulous, that did it. Thanks! > > MH > > On 24 Oct 2018, at 9:55, pleasespamme at posteo.net wrote: > >> I asked for this some time ago. Put this in terminal. Works like a charm! What does "put this in terminal" mean?