These denominations are periodically reviewed for a variety of reasons, which hardly include politics or political correctness. For instance, I'm a happy and genuine guy born and raised in Italy -- and my timezone is most often under Paris (and sometimes Geneva, since we are speaking of watches). The 5131R cities have also been updated every single year, as far as I can recall.
Please enjoy your gorgeous reference, like I'm sure many people will be enjoying the new 5230-012 and -014 models, and of course the 5231J-001. Cheers.