The funny thing here is that "Open Options Menu" has no key binded to it by default, and F5 isn't bound to anything either. So it does look like an artifact from the old menus.
Yes, that's correct. Just a typo. But please note, this is a key binding so it will have to be changed in the INI manually or the key rebound to take effect without creating a new one.