I wonder how much that cost for a group to discuss and agree to change the name.

Very pointless in my view, although could there actually be more to this than that? As the Peak District is now...