Odoc_extension_api.RegistrySourceRegister a support file for this extension. The file will be output when odoc support-files is run.
Register documentation for an extension. This will be displayed by odoc extensions.
List all registered extension documentation