diff -r 4968462088aa -r 2a4a44be2d53 config/global/download_extract.in
--- a/config/global/download_extract.in	Thu May 15 20:45:18 2008 +0000
+++ b/config/global/download_extract.in	Sat Jul 19 20:51:52 2008 +0000
@@ -104,14 +104,9 @@
     help
       Use a Socks 4/5 proxy to connect to the internet.
       All protocols can get tunneled through this kind of proxy (depending
-      on your proxy configuration, so;e do not allow all protocols, but
+      on your proxy configuration, some do not allow all protocols, but
       chances are that protocols needed by crosstool-NG are allowed).
 
-      Please note that the proxy you are using MUST be on the same subnet
-      as your machine. That is, it must be reachable without a hop through
-      any gate. If this is not the case, then do NOT use this option, and
-      setup tsocks system-wide.
-
       Alternatively to setting this option, you can configure tsocks
       system-wide, and set and export the following variable in your
       environment:
@@ -138,21 +133,18 @@
 
 config PROXY_TYPE_SOCKS_AUTO
     bool
-    prompt "Auto (BROKEN)"
-    depends on BROKEN
+    prompt "Auto"
     help
       crosstool-NG will attempt to guess what type of SOCKS version
       the proxy speaks.
 
 config PROXY_TYPE_SOCKS_4
     bool
-    prompt "SOCKS 4 (BROKEN)"
-    depends on BROKEN
+    prompt "SOCKS 4"
 
 config PROXY_TYPE_SOCKS_5
     bool
-    prompt "SOCKS 5 (BROKEN)"
-    depends on BROKEN
+    prompt "SOCKS 5"
 
 endchoice