Availability:
:- use_module(pldoc(doc_html)).
- ensure_doc_objects(+File) is det
- Ensure we have documentation about File. If we have no comments for the file because it was loaded before comment collection was enabled, run the cross-referencer on it to collect the comments and meta-information.