By the way, it seems that my main email address, zmwangx AT gmail.com, is now
blocked by the mailing list (I sent the exact same message with that address
yesterday, and it never showed up in the archive), despite successfully posting
to the mailing list in the past... Judging from
http://www.zsh.org/mla/workers/2017/msg00177.html I'm not the only one. Maybe
something can be done with the spam filter?  Thanks.