the change is seamless all redirects are being fixed including quite a few that were missed by people when these were moved in the past we get these in dribs and drabs over at wp rm a few a week easier to just clean them up as for projects they do not overrule the policy of wp name and wikipedia manual of style infoboxes design and usage standardization is a good thing we will continue to grow these boxes will be used in the future and changing them means when we reach million articles the future ones that would have used the prior name will use the proper name moreover when people seek to create new infoboxes just as often or maybe more often they do not learn what the title should be by going to the policy but by looking at where existing similarly situated templates reside and by standardizing we foster the creation of new templates at proper names please also see wikipedia don't worry about performance