Return these ports to the pool after rpaulo@ handed in his commit bit.

With hat: portmgr-secretary