probably not in the infobox if it's reliably sourceable as common and consistent then include it in the infobox field note that this means rs say it's commonly used cherry picking it does not qualify per wp neologism if it does suit that sourcing requirement i'd still probably argue against it because it's a local colloquialism thus trivia if people outside this area do not refer to it this way then the nickname is not of encyclopedic importance contrast the big apple for new york city a nickname with which virtually all americans and probably most native english speakers are familiar belongs in a city article's infobox and maybe its lead it's reasonably likely that some rs can be found saying that the 'burg is a common nickname of st petersburg fl but i'd bet good money they're mostly or entirely local or that they say it's used by locals ps if it were used in the infobox here it should be as sources most often give it which nom suggests is the 'burg not the burg it wouldn't be capitalized with the in either case per mos caps even if a few sources capitalize it that way