Introduce a <port> element that answers the question of how to mark up
a port name. Right now, it renders as monospace, and with a hyperlink
to the port's pkg-descr file if possible.