Note sure if it’s a redundant alias, or actually a different option, but it definitely looks like a bug.
Ha! Nice catch. I must have looked at that menu ten times but didn’t notice it till you pointed it out. Reported.