[Brian]

Hmmmm... my guess is that the keyboard shortcut-setting bits in the OS don't expect multiple menu items to have the exact same name and get (justifiably) confused.

I'll write that up as a bug. Presumably, if we rename one or the other of those items, the problem wouldn't happen.