It appears that the mailman lists have disappeared from GMane. That's a bit inconvenient. Are there any other newsgroups that mirror this mailing list? I looked around some, but didn't see any. In the meantime, I've re-enabled email delivery, but that's not nearly as convenient as using newsgroup access for a list like this.