Update to renamed repository URL

(We've lied about the author date on this commit so as to leave the
date as the last substantive textual change to SAMv1.tex.)