What's in a nickname? What's the proper nickname for San Francisco

Locals cringe when they hear the word "Frisco "