It's official, Denali is to be renamed to McKinley. But I have doubts we'll change what we call it in the mountaineering community.