Make it clear that we're only responsible for our own web site, and

people should contact mirror admins for problems with mirrors.

[originally from svn r1801]

diff --git a/doc/feedback.but b/doc/feedback.but
index 9c1ab90d665064e9903faa6818be18de07cd7f93..d39d00a1be49b4b6e988b982931082cdbd9dba58 100644 (file)
--- a/doc/feedback.but
+++ b/doc/feedback.but
@@ -1,4 +1,4 @@
-\versionid $Id: feedback.but,v 1.5 2002/06/08 09:00:00 simon Exp $
+\versionid $Id: feedback.but,v 1.6 2002/08/05 10:35:23 simon Exp $
 
 \A{feedback} Feedback and bug reporting
 
@@ -300,6 +300,16 @@ Of course, if the web site has some other error (Connection Refused,
 404 Not Found, 403 Forbidden, or something else) then we might
 \e{not} have noticed and it might still be worth telling us about it.
 
+If you want to report a problem with our web site, check that you're
+looking at our \e{real} web site and not a mirror. The real web site
+is at \W{http://www.chiark.greenend.org.uk/~sgtatham/putty/}; if
+that's not where you're reading this, then don't report the problem
+to us until you've checked that it's really a problem with the main
+site. If it's only a problem with the mirror, you should try to
+contact the administrator of that mirror site first, and only
+contact us if that doesn't solve the problem (in case we need to
+remove the mirror from our list).
+
 \H{feedback-permission} Asking permission for things
 
 PuTTY is distributed under the MIT Licence (see \k{licence} for