On Thu, 3 Oct 2019 at 14:20, David <bouncingcats@gmail.com> wrote: [...] Sorry, I didn't see this had already been discussed. (broken threading, gmail interface, didn't read everything before sending anything)