Re: [MacPorts] #18736: distname is not percent-encoded before gluing it into the URL