82affe8f17
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.