I was just discussing SD high points with my father-in-law (who's from SD)... I noticed LoJ still has Harney Peak as the primary name with Black Elk Peak as the alternate name. Since the name has officially changed in the GNIS, should the LoJ entry be updated accordingly?