-val servers : string list ref (* servers list. DO NOT CHANGE this list,
- modifications wont be preserved *)
-val cache_mode : http_getter_encoding (* cached files encoding *)
+val servers : unit -> (int * string) list
+ (* (position * server) list *)
+val cache_mode : encoding (* cached files encoding *)