With portmgr hat on, reset maintainership of these ports. Maintainer's
old email address bounces, and he has not been responsive to email on the
only other one we have for him.
These ports are now available for adoption.
Come back coop, we miss ya ...