On Tue, 2013-12-10 at 17:51 +0100, Stéphane PURNELLE wrote: > What is a guinea pig? In this case, a very pleasant surprise. I'd recommend becoming one. We all are over here;) Cheers, Steve