Hi All. I had a bad commit message in the qed-archive I mentioned here a few weeks ago. I fixed it with a 'git push --force' (even though that's not recommended) since I expect it to be a read-only archive going forward, and I wanted it to be right. In short, if you cloned it, please remove your copy and reclone. Thanks! Arnold