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.
This will make a number of things easier in the future, as well as (finally!)
avoiding the Id-smashing problem which has plagued developers for so long.
Boy, I'm glad we're not using sup anymore. This update would have been
insane otherwise.