The changeset is based on this new measurement
https://www.24heures.ch/surprise-un-pic-inconnu-devient-le-nouveau-toit-du-jura-684732973909
A team of geographs from the University of Lausanne lead by György Hetényi measured the new highest point of Jura with satellites in 2024 and called J1. It's 2.75m higher than Crêt de la Neige.
Whether the Swiss "Office de la topographie" will record it as a separate peak is yet to be known.
I thought it was a good idea to have it on the map, because plenty of people will go there following the article.
I'm no expert.