Yes, I know that a number of pedants will read the title of this blog post and mutter under their breaths with a shrug of indignation: ‘What was the highest mountain in the world before Everest was discovered? Why, Everest