I got the old mailing list archives converted to Mailman.  As I wrote in a post to users@, please let me know about problems.  There’s some garbled messages from the old archive that were placed into the 2012-Sept. section for each message; I’ll be cleaning those up manually.