back out half of r12709

sptor is published, it's gone, out the door, can't change it.


svn:r12710

doc/design-paper/sptor.tex

@@ -119,7 +119,7 @@ both the stability and the security of the network.
 
 Usability is also a central goal. Downloading and installing Tor is
 easy. Simply go to\\
-https://www.torproject.org/ and download.  Tor comes with install
+http://www.torproject.org/ and download.  Tor comes with install
 wizards and a GUI for major operating systems: GNU/Linux, OS X, and
 Windows. It also runs on various flavors of BSD and UNIX\@. Basic
 instructions, documentation, FAQs, etc.\ are available in many