X-Git-Url: https://git.distorted.org.uk/u/mdw/putty/blobdiff_plain/5c33650cef10789e0d23bd7994949c95854d3387..533c7491240f2fd71d026e91f0a940f4729992fd:/doc/faq.but

diff --git a/doc/faq.but b/doc/faq.but
index 675d231a..c669cbe5 100644
--- a/doc/faq.but
+++ b/doc/faq.but
@@ -268,12 +268,11 @@ 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?
 
-It's currently being worked on, but it's only in its early stages yet,
-and certainly isn't yet useful.  PuTTY on portable devices would
-clearly be a useful thing, so in the long term I hope it can be
-brought up to release quality.
+We have done 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.
 
-There's also a third-party port at
+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}?
@@ -393,6 +392,8 @@ put your chosen pathname in the Registry, at
 
 \c HKEY_CURRENT_USER\Software\SimonTatham\PuTTY\RandSeedFile
 
+You can ask PuTTY to delete all this data; see \k{faq-cleanup}.
+
 On Unix, PuTTY stores all of this data in a directory \cw{~/.putty}.
 
 \H{faq-howto} HOWTO questions