So the "somebody" who makes the PR will likely get to set the menu position of the ISO format option.
Yaaay!
Now the question is whether to have DMY format second and US format third, or the other way around. Maybe "International / US / Non-US" makes the most sense (i.e. swap first and third).