Official name versus common name

[JHS]

<p>

I’m surprised that no one has mentioned Leland Stanford Junior University.

</p>

<p>You know, I was surprised it wasn’t mentioned in the first few posts, but it was already noted by the end of the first page.</p>