Renaming files -- do I need to completely re-import my library?

Play History is held in a vault somewhere - unaffected by even “The Plex Dance”:

…which you may need at some point - if renaming and refreshing doesn’t do the trick.