Interesting. Wasn’t aware that was the case for number formats.
I’m running a couple of versions of Manager (installed onto different OSes), so I may be able to verify whether this is also the case for dates - that way we know for certain. Will take a look later.