diff --git a/doc/faq.but b/doc/faq.but
index 03de70d7..bdbb5158 100644
--- 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