On 01 Oct 2012, at 18:23 , Jonathan Jarrett <jjarrett at CORIOLIS.GREENEND.ORG.UK> wrote: > > On the other hand, I didn't know that John Harrison had died, which is rather sad. Ah, yes ... I remember that news popping around on the various Facebook places. :( Cheers, Carl -- Carl Edlund Anderson http://www.carlaz.com/