let buris = List.map HGM.strip_trailing_slash buris in
(* List.iter prerr_endline buris; *)
let l = fix [] buris in
let l = MatitaMisc.list_uniq (List.fast_sort Pervasives.compare l) in
let l = List.map UriManager.uri_of_string l in
(* List.iter (fun u -> prerr_endline (UriManager.string_of_uri u)) l; *)
let buris = List.map HGM.strip_trailing_slash buris in
(* List.iter prerr_endline buris; *)
let l = fix [] buris in
let l = MatitaMisc.list_uniq (List.fast_sort Pervasives.compare l) in
let l = List.map UriManager.uri_of_string l in
(* List.iter (fun u -> prerr_endline (UriManager.string_of_uri u)) l; *)