Update locations of recently moved ports, like portupgrade, portaudit or
portlint. I have retained their historical locations in papers which got
written, but are not constantly updated like the rest of our documentation.