*/*: return mono@ ports to the pool

The team previously known as mono has no active members.

I will send an email to ports@ in case anyone wants to pick up these
ports.
Approved by: portmgr (bofh)