Thanks for your perspective.
For those of us interested in a complete as possible picture of prokaryotic protein space, I think we now have to move to Uniparc as the primary reference. It might not be your case, but a significant number of the proteins made 'redundant' actually have no clear homolog in Uniprot, emphasizing that the judgement to redundantize is done on a genome by genome basis.
Unfortunately, Uniparc is not as well supported. Most of the reference mapping between Uniparc and other databases is done thru Uniprot, so if a protein has been redundatized, that Uniparc sequence cannot be easily mapped. There is a 60GB xml (!!!) file, uniparc_match, that is of some use.