val dtd_dir : string lazy_t (* DTDs' root directory *)
val servers_file : string lazy_t (* servers.txt file *)
val port : int lazy_t (* port on which getter listens *)
-val dtd_base_url : string lazy_t (* base URL for DTD downloading *)
+val dtd_base_urls : string list lazy_t (* base URLs for document patching *)
(* {2 derived data} *)
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 *)