Side note: I thought no one (except tourists) used "San Fran"? I certainly cringe when I hear it.
interesting article/source: https://www.kqed.org/news/11339599/why-do-some-hate-the-nick...
https://www.quora.com/Why-do-some-people-call-San-Francisco-...