Improve the API exposed by opam_admin_top