Alan, it is not a matter of discussing, it is a matter of reflecting the reality on the spot! 
There are tons of names people won't like in their own countries (ex.: Soviet names in Belarus). However, we, OSM mappers, are not here to reinstate old, pre-war names (or, in the case of Central Asia, old Soviet names) out of nostalgy! If the old name of some mountain was, let's say "Сталина гора" and now it's called "Тоқаев тауы", keeping the old one on the name=* tag is not only pointless, it is an act of vandalism!
We are here to reflect the present reality, certainly not the past! 
For past names, we have historical maps for that and "old_name" tags for this purpose on OSM. And it is a rule for all OSM around the world. 
Even Belarus OSM has come to it in spring 2022 following the useless war launched by one of their neighbors against the other neighbor.