Comments moved thither. Thanks!

(I've added this URL to the header of the main discussion. We always consolidate multiple threads about a topic into one thread, to avoid fragmenting the discussion and taking front page slots away from other articles.)