let load_list ?(options=None) urilist = info "Parsing and normalizing..." ; let timer = Util.Timer.create "Parsing and normalizing" in Util.Timer.start timer; let u = parse_input ~options urilist in Util.Timer.stop timer u