Re: [MacPorts] #12925: PortManager description in the new guide