On Sat, Aug 12, 2017 at 5:47 AM, Chris Angelico <rosuav at gmail.com> wrote: > > Taking this off the list as it's no longer on topic. ... at least, I *thought* I was taking it off list. Between me and Gmail, some thoughts got crossed. Sorry! ChrisA