Hello, thanks for the comment. From what I've seen, names are often updated on OpenStreetMap when the government officially notifies the change by publishing it in the Gazette. However, feel free to revert the change if you believe keeping the old name would be more appropriate in this case.