On 2012-12-25 16:01, Brian Hechinger wrote: Happy Holidays! Next year we should organize some sort of event. :) Any suggestions? (And I think we've already passed 10 years...) Johnny