Re: [MacPorts] #13263: lint: check that port name matches port directory name