X-Git-Url: https://git.distorted.org.uk/~mdw/sgt/putty/blobdiff_plain/e4c398b4d6dc5cb33fdcf8ffbd2217498cc4b3d0..939c2b22a74142b76a62ba02b9da29ccb20dc5c2:/doc/faq.but

diff --git a/doc/faq.but b/doc/faq.but
index 5ac7b34c..ad27dcd0 100644
--- a/doc/faq.but
+++ b/doc/faq.but
@@ -84,6 +84,7 @@ options}.
 so I don't have to change them every time?
 
 Yes, all of PuTTY's settings can be saved in named session profiles.
+You can also change the default settings that are used for new sessions.
 See \k{config-saving} in the documentation for how to do this.
 
 \S{faq-disksettings}{Question} Does PuTTY support storing its
@@ -380,12 +381,12 @@ while host keys are stored under \c{SshHostKeys}.
 
 PuTTY also requires a random number seed file, to improve the
 unpredictability of randomly chosen data needed as part of the SSH
-cryptography. This is stored by default in your Windows home
-directory (\c{%HOMEDRIVE%\\%HOMEPATH%}), or in the actual Windows
-directory (such as \c{C:\\WINDOWS}) if the home directory doesn't
-exist, for example if you're using Win95. If you want to change the
-location of the random number seed file, you can put your chosen
-pathname in the Registry, at
+cryptography. This is stored by default in a file called \i\c{PUTTY.RND}
+in your Windows home directory (\c{%HOMEDRIVE%\\%HOMEPATH%}), or in
+the actual Windows directory (such as \c{C:\\WINDOWS}) if the home
+directory doesn't exist, for example if you're using Win95. If you
+want to change the location of the random number seed file, you can
+put your chosen pathname in the Registry, at
 
 \c HKEY_CURRENT_USER\Software\SimonTatham\PuTTY\RandSeedFile