I was doing some maintenance on the mailman server that hosts this list, and
several messages that were stuck in the queue for what appears to be a rather
long time have been released. The queue is now empty, so if these messages are
no longer relevant, please ignore them.