The current build of PDex IG has links to different incarnations of "HRex Coverage." On the PDex IG Artifacts Summary page (http://build.fhir.org/ig/HL7/davinci-epdx/artifacts.html) for "HRex Coverage Profile" it links to  http://build.fhir.org/ig/HL7/davinci-epdx/StructureDefinition-hrex-coverage.html. (This same link is also on the PDex IG home page for "HRex Coverage.")

However, on the Coverage page of the PDex IG (http://build.fhir.org/ig/HL7/davinci-epdx/Coverage.html), it clearly states "The Coverage resource is profiled in the Da Vinci HRex IG" ... with that "Coverage resource" link going to the HREX IG version of the HREX Coverage profile: http://hl7.org/fhir/us/davinci-hrex/StructureDefinition-hrex-coverage.html.

The "HRex Coverage" profile in the HRex IG is substantively different than the "HRex Coverage" profile in the PDex IG. Furthermore, on that HRex Coverage profile page within the PDex IG (http://build.fhir.org/ig/HL7/davinci-epdx/StructureDefinition-hrex-coverage.html), we say in 13.9.2 "The Coverage resource included in the PDex Implementation Guide will be superceded by the Coverage profile that is defined in the HRex Implementation Guide."