Huh. strange. This went through on a friend's computer and I thought he was on precise, but evidently using some non-standard mirrors. Believe this is good to merge. @jtauber