Was changed in https://www.openstreetmap.org/changeset/129455418 - I commented there directing to this note.

Personally I'm also only familiar with "Grimsby Mountain" name, but I'm from 40 km away. Maybe an alt_name=Mount Nelles can be used?