On Thu, Jan 31, 2013 at 12:56 AM, Stéphane Deschamps <lists at nota-bene.org>wrote: > I think it's Adrian who's managing it these days. Adrian is still alive? I had no idea. Next you'll be telling me Ron and Martin still exist. Pshaw.