First, an admin thing: all traffic should go to the list. Down the road,
someone will have the same question, and they might find the answer in the
archives if we keep all the traffic on the list. Writing to someone directly
probably doesn't get a faster or better response, and it robs the archive of
potentially useful information. I've cc'd the list to get us back on track.