update the thandy story a bit. it was (and is) completed, but that isn't enough. (b7498afc0)

@@ -704,7 +704,10 @@ meetings around the world.</li>
     <p>
     Updater for Tor. The project <a
     href="http://google-opensource.blogspot.com/2009/03/thandy-secure-update-for-tor.html">began
-    in the Summer of 2008</a> but wasn't completed. Later interest in it was
+    in the Summer of 2008</a> and produced a functional secure updater. The
+    remaining steps are to deploy a Thandy repository, and integrate Thandy
+    into one of our bundles &mdash; which requires UI changes in the bundles,
+    Python packaging on various platforms, etc. Later interest in it was
     rekindled and many aspects of <a
     href="http://freehaven.net/~arma/tuf-ccs2010.pdf">its design</a> (including
     the language it'll be in) are currently in flux. This is related to <a


...	...	@@ -704,7 +704,10 @@ meetings around the world.</li>
704	704	<p>
705	705	Updater for Tor. The project <a
706	706	href="http://google-opensource.blogspot.com/2009/03/thandy-secure-update-for-tor.html">began
707		- in the Summer of 2008</a> but wasn't completed. Later interest in it was
	707	+ in the Summer of 2008</a> and produced a functional secure updater. The
	708	+ remaining steps are to deploy a Thandy repository, and integrate Thandy
	709	+ into one of our bundles — which requires UI changes in the bundles,
	710	+ Python packaging on various platforms, etc. Later interest in it was
708	711	rekindled and many aspects of <a
709	712	href="http://freehaven.net/~arma/tuf-ccs2010.pdf">its design</a> (including
710	713	the language it'll be in) are currently in flux. This is related to <a
711	714

tor-webwml.git