On Thu, 25 Oct 2018 13:43:16 +0200 Paul Steyn <paulsteyn1 at afrihost.co.za> wrote: > A known bug, or should I file a bug report? It's now known but, yes, filing a bug report would make sure it is not so easily forgotten. Thanks. with regards Paul