Make use of <port> tag over <filename> for port references. If
<filename type="port">, or similar, is decided upon at a later time, it would
not be too hard to change.

Reviewed by: murray