Once upon a time paid employees of the British Empire went to extraordinary lengths to calculate the height of the Himalayas. It’s quite widely known that the highest point on the planet is named not after a Tibetan mountain deity, but the one-time Surveyor-General of India, Sir George Ev...