re: #733 jcm

re: #726 kcladderman

Because it’s there.
George Mallory.

Mallory Clinton was named after him.