new gnus

Gnus had the traditional May 1st release of a new version (it's up to 5.10 now), and Lars Ingebrigtsen, the lead Gnus programmer, is selling Gnus t-shirts to mark the occasion.