On Thu, 25 Oct 2018 11:50:57 -0000 Paul <claws at thewildbeast.co.uk> wrote: > It's now known but, yes, filing a bug report would make sure it is > not so easily forgotten. Thanks. Don't worry about opening a bug item for this, I am working on a fix. with regards Paul