Comments moved thither. Thanks!

(Not the submitter's fault since the URLs were different)