a year now, so return his ports to the unmaintained pool in the hopes
that someone will adopt them and give them a good home.
While here, pacify portlint on all of them.
Discussed with: various members of portmgr@, at various times over
the last few months.
