Going to catch up on questions here because I wasn't getting any notification since gmail was sending everything to the SPAM folder. That should be fixed now. I also recommend that others add the mailing list e-mail to their contacts to avoid the same problem.
"Now, now my good man, this is no time for making enemies." — Voltaire (1694-1778), on his deathbed in response to a priest asking that he renounce Satan.