This mailing list was replaced by a new
[hidden email] mailing list as of Monday
November 19, 2018 and starting now will no longer receive any new
messages. The archive of prior messages will remain published in the
expected location indefinitely for future reference.
For convenience posts to the old list address will be rerouted to
the new list for an indeterminate period of time, but please correct
it in your replies if you notice this.
See my original notice (and the many reminders sent in months
since) for an explanation of this change.