If it is the same Gerv that worked for Mozilla - he passed away three years ago. Spike On 11/08/2021 16:39, Michael Collinson wrote: > I would hazard a guess that you are the first to think of it and the > if anyone else has it will Richard Fairhurst and possibly Gervase > Markham, (not sure if he is still active?).