I briefly moved the comment, then saw that Josh_Bloom had posted another copy of this reply to the right place.