From: Christian Grothoff <christian@grothoff.org>
Date: Thu, 8 Mar 2018 13:24:32 +0000 (+0100)
Subject: modernize manual for current browsers
X-Git-Tag: v0.11.0pre66~162
X-Git-Url: https://git.librecmc.org/?a=commitdiff_plain;h=5c81865455a2d6e42838047e86a19c4a2441a28e;p=oweals%2Fgnunet.git

modernize manual for current browsers
---

diff --git a/doc/documentation/chapters/user.texi b/doc/documentation/chapters/user.texi
index 4b3bf336e..8ce8b52e2 100644
--- a/doc/documentation/chapters/user.texi
+++ b/doc/documentation/chapters/user.texi
@@ -417,14 +417,18 @@ in the menu, and then select the "Advanced" tab in the dialog
 and then "Network":
 
 Here, select "Settings..." to open the proxy settings dialog.
-Select "Manual proxy configuration" and enter "localhost"
-with port 7777 under SOCKS Host. Select SOCKS v5 and then push "OK".
+Select "Manual proxy configuration" and enter @code{localhost}
+with port 7777 under SOCKS Host.  Furthermore, set the
+checkbox ``Proxy DNS when using SOCKS v5'' at the bottom of
+the dialog.  Finally, push "OK".
 
 You must also go to about:config and change the
 @code{browser.fixup.alternate.enabled} option to @code{false},
 otherwise the browser will autoblunder an address like
 @code{@uref{http://www.gnu/, www.gnu}} to
-@code{@uref{http://www.gnu.com/, www.gnu.com}}.
+@code{@uref{http://www.gnu.com/, www.gnu.com}}.  If you want
+to resolve ``@'' in your own TLDs, you must additionally
+set @code{browser.fixup.dns_first_use_for_single_words} to @code{true}.
 
 After configuring your browser, you might want to first confirm that it
 continues to work as before. (The proxy is still experimental and if you