On Tue, Aug 20, 2019 at 11:20 PM Adam D. Barratt <adam@adam-barratt.org.uk> wrote: > > OK, thanks. Please go ahead. Done. Cheers! -- Sergei Golovan