> No comments, but a "thank you" for tech-managing the list (and thank you
> to Doug also). From doing the same for 17 odd years for tens of mailing
> lists, I know it is a thankless job (people only think of you when
> things stop working!).
I second ravi: Thanks Jordan and Doug for the public service.