Re: [MacPorts] #16235: portindex should support not reindexing ports that don't need it (was: portindex should support reindexing a single port)