modernize manual for current browsers

diff --git a/doc/documentation/chapters/user.texi b/doc/documentation/chapters/user.texi
index 4b3bf336ec1c817a05e548a213a9ba1a89f4ca30..8ce8b52e2e1724584137c1458609405c51a3f40b 100644 (file)
--- 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