Norman Ramsey is now at Tufts, and URLs to his websites at previous
institutions are broken. The new link gives the same information as
the old links did (verified with web.archive.org).
(cherry picked from commit
be91997227f69d9622a928b0d4870fbaee0a844e)
\begin_layout Plain Layout
-http://www.cs.virginia.edu/~nr/noweb/
+https://www.cs.tufts.edu/~nr/noweb/
\end_layout
\end_inset
\begin_layout Plain Layout
-http://www.cs.virginia.edu/~nr/noweb/
+https://www.cs.tufts.edu/~nr/noweb/
\end_layout
\end_inset
\end_layout
\begin_layout Quote
-http://www.cs.virginia.edu/~nr/noweb
+https://www.cs.tufts.edu/~nr/noweb/
\end_layout
\begin_layout Standard
\begin_layout Plain Layout
-http://www.cs.virginia.edu/~nr/noweb
+https://www.cs.tufts.edu/~nr/noweb/
\end_layout
\end_inset
\begin_layout Plain Layout
-http://www.cs.virginia.edu/~nr/noweb/
+https://www.cs.tufts.edu/~nr/noweb/
\end_layout
\end_inset
\begin_layout Plain Layout
-http://www.cs.virginia.edu/~nr/noweb/
+https://www.cs.tufts.edu/~nr/noweb/
\end_layout
\end_inset
\begin_layout Plain Layout
-http://www.cs.virginia.edu/~nr/noweb/
+https://www.cs.tufts.edu/~nr/noweb/
\end_layout
\end_inset
\begin_layout Plain Layout
-http://www.eecs.harvard.edu/~nr/noweb
+https://www.cs.tufts.edu/~nr/noweb/
\end_layout
\end_inset