pocketputty.net seems linksquatted.

Get rid of the non-nofollow link in the FAQ. (I doubt anyone's that
interested any more, anyway.)

diff --git a/doc/faq.but b/doc/faq.but
index 03de70d780ebfd657c4cfb87145a7858f0e00f1b..bdbb51584e5ff57922080511791d6bfca666f070 100644 (file)
--- a/doc/faq.but
+++ b/doc/faq.but
@@ -289,13 +289,10 @@ expect our Unix port to be the right thing for everybody.
 
 \S{faq-wince}{Question} Will there be a port to Windows CE or PocketPC?
 
-We have done some work on such a port, but it only reached an early
+We once did some work on such a port, but it only reached an early
 stage, and certainly not a useful one. It's no longer being actively
 worked on.
 
-However, there's a third-party port at
-\W{http://www.pocketputty.net/}\c{http://www.pocketputty.net/}.
-
 \S{faq-win31}{Question} Is there a port to \i{Windows 3.1}?
 
 PuTTY is a 32-bit application from the ground up, so it won't run on