On Jun 25, 2013, at 7:53, Randy Bush <randy@xxxxxxx> wrote: >> Congratulations, gentlemen. > > and they are all male Well, all the volunteers were male, so no real surprise here. (And yes, I wish the volunteer pool had been more diverse. But it wasn't.) Lars