let targets_per_page t = get_ui t |> fun ui -> ui.explorer.targets_per_page