If you do:
<xref target="PING">PING</xref>
it renders as:
PING (Section x.x)
in text and in HTML as a straight link, which I think is quite nice.