val host : string lazy_t (* host on which getter listens *)
val my_own_url : string lazy_t (* URL at which contact getter *)
-val servers : (int * string) list lazy_t
+val servers : unit -> (int * string) list
(* (position * server) list *)
val cache_mode : encoding lazy_t (* cached files encoding *)