On 10/02/15 17:40, Pedro Alves wrote: > Hi Jan, > > I read this, and it looks pretty good to me. > > Phil, any comments? > > No I think it is great. I looked at it today, and just have not gotten around to writing email. Thanks Jan for doing this. Cheers Phil