> On 18 Oct 2017, at 22:03, Wouter Verhelst <w@uter.be> wrote: > > It seems to me that you've been pesky enough with all these > documentation patches, that you should be punished for it with commit > access ;-) +1. Sorry I have not had time to look at these immediately. I had this queued up for the weekend in 9 days time, but Wouter probably just saved me the effort :-) -- Alex Bligh