You can search for identifiers within the package.
in-package search v0.2.0
rocq-runtime.vernac
G_proofs
val thm_token : Decls.theorem_kind Procq.Entry.t
val hint : Vernacexpr.hints_expr Procq.Entry.t