St Pete renames library... but why?