diff -r 2472b2f24e3a -r d6b2354d9d17 config/global/download.in
--- a/config/global/download.in	Tue Aug 02 23:11:25 2011 +0200
+++ b/config/global/download.in	Tue Aug 02 23:10:37 2011 +0200
@@ -25,37 +25,6 @@
       
       Useful if you suspect a tarball to be damaged.
 
-config USE_MIRROR
-    bool
-    prompt "Use a mirror"
-    help
-      If you have a machine on your LAN that mirrors some of the needed
-      tarballs, you can say 'Y' here, and configure adequate values in
-      the following options.
-      
-      Obviously, nothing prevents you from using a mirror that is in fact
-      *not* on your LAN, for example on another subnet of your company's
-      network, or a mirror on the Internet.
-
-config MIRROR_BASE_URL
-    string
-    prompt "Base URL"
-    depends on USE_MIRROR
-    default "http://ymorin.is-a-geek.org/mirrors/"
-    help
-      This is the base URL searched in for tarballs.
-      
-      I (Yann E. MORIN) have set up such a mirror to host snapshots of
-      some components, when those snapshots are volatile on the upstream
-      servers. The mirror is *slow*, because it is hosted behind an ADSL
-      line. For the time being, I haven't set up bandwidth limitations,
-      but should the mirror be abused, I will. Please avoid using my
-      machine when you can... Also, no guarantee is made as to its
-      availability. Use at your own risks.
-      
-      The mirror is available at:
-        http://ymorin.is-a-geek.org/mirrors/
-
 config CONNECT_TIMEOUT
     int
     prompt "Connection timeout"
@@ -87,3 +56,34 @@
       Useful to pre-retrieve the tarballs before going off-line.
 
 endif # ! FORBID_DOWNLOAD
+
+config USE_MIRROR
+    bool
+    prompt "Use a mirror"
+    help
+      If you have a machine on your LAN that mirrors some of the needed
+      tarballs, you can say 'Y' here, and configure adequate values in
+      the following options.
+      
+      Obviously, nothing prevents you from using a mirror that is in fact
+      *not* on your LAN, for example on another subnet of your company's
+      network, or a mirror on the Internet.
+
+config MIRROR_BASE_URL
+    string
+    prompt "Base URL"
+    depends on USE_MIRROR
+    default "http://ymorin.is-a-geek.org/mirrors/"
+    help
+      This is the base URL searched in for tarballs.
+      
+      I (Yann E. MORIN) have set up such a mirror to host snapshots of
+      some components, when those snapshots are volatile on the upstream
+      servers. The mirror is *slow*, because it is hosted behind an ADSL
+      line. For the time being, I haven't set up bandwidth limitations,
+      but should the mirror be abused, I will. Please avoid using my
+      machine when you can... Also, no guarantee is made as to its
+      availability. Use at your own risks.
+      
+      The mirror is available at:
+        http://ymorin.is-a-geek.org/mirrors/