Module Odoc_xref2.Link

For testing purpose. May call Lookup_failures.report.