Comment.ResourcesResource collection for extension handlers. Resources are collected during document generation and retrieved when building the final page.
val collected : Odoc_extension_registry.resource list refval add : Odoc_extension_registry.resource list -> unitval take : unit -> Odoc_extension_registry.resource list