On 10 August 2018 at 23:39, Paul Allen <pla16021 at gmail.com> wrote: > This is a different problem from which separator to use. I wondered if anyone would remember that question! -- Andy Mabbett @pigsonthewing http://pigsonthewing.org.uk