back out half of r12709

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

svn:r12710

diff --git a/doc/design-paper/sptor.tex b/doc/design-paper/sptor.tex
index 9a981fc5d9a88181576cf22bf24eca8e45ed36c2..4b659eeda19a4cd201688a124fdf7256153116df 100644 (file)
--- a/doc/design-paper/sptor.tex
+++ b/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