Why is the highest mountain in the world called Everest?

According to History.com, in the early 1800s, Britain undertook a major geographical survey project to map the Indian subcontinent. By 1852, this project had identified the world's tallest mountain , stretching between Nepal and Tibet in the Himalayas, at 8,848 meters.

Originally the British called this Peak XV. But then the General Survey of India, Mr. Andrew Waugh, proposed naming it after his predecessor, Sir George Everest.

Born in Wales in 1790, Everest attended military school in England, then spent most of his life in India. He was involved in this geo-survey project since 1818 and spent 25 years there, becoming the Surveyor General of India in 1830. When he retired in 1843, he returned to England and was knighted.

Everest supported local naming, so he opposed Waugh's petition to name him in personal honor. At that time the Tibetans were calling this peak Chomolungma (Mother Goddess of the World). But Mr. Waugh was unaware of the native or other names in Nepal.

In a petition to the Royal Geographical Society of Great Britain in 1856, Mr. Waugh wrote: “My venerable predecessor, Colonel George Everest, instructed me to name each geographical find after the local name. But this is a mountain, probably the highest mountain in the world, and we have not discovered any local names.”

Although Mr. Everest was of the opinion that locals would have difficulty pronouncing his name, the Association decided in 1865 to name the tallest mountain Everest.

A year later, he died at the age of 76. Does anyone know if Everest has ever visited the mountain that bears his name?