[josm-dev] Renaming a validator rule

[Nelson A. de Oliveira]

How feasible it is to rename a validator rule in
https://josm.openstreetmap.de/wiki/Rules ?

Last month we had an issue here in Brazil, where an user enabled the
rules from Portugal and started to wrongly validate and modify data.
Most probably the word "Português" caused this, since it can be
interpreted as the Portuguese language (and not the country,
Portugal).

Technically, can rules be renamed? People who use the current rules
will stay with an outdated rule forever if it gets renamed?
Is there a way to force users migrating from one rule to another one?