BTW, I just wanted to say what a pleasure it's been working with the
mailing lists for the last few weeks. Whatever Marc did to the servers
has reduced the typical list propagation delay to a minute or less,
as opposed to the fifteen-minutes-to-hours delays we were suffering for
a good while there. That just makes list conversations work *so* much
better and more smoothly.
Marc doesn't get enough credit for the time (and money) he spends making
the project infrastructure go; as a rule, he only hears about it when
something's broken. So I think he's overdue for hearing a plaudit when
things work well.
Thanks!
regards, tom lane
