Re: defluffing Portfiles (port lint)