Talk:Pause menu

Pikmin 3 Deluxe's pause menu
Pikmin 3 Deluxe's pause menu is given a name in-game. That name is "Options menu". This is problematic for Pikipedia's coverage of menus. Should the coverage of this menu in Pikmin 3 Deluxe be moved to options menu, or should there be some notice on that article, or some other solution? &mdash; Botanist(talk) 18:29, June 24, 2021 (EDT)
 * To mirror what I wrote on Discord here: I think we should consider it a pause menu, because that is what it is. Restarting the day isn't an "option", for instance. We should point out how the game calls it "Options" though. &mdash; {EspyoT} 15:58, June 26, 2021 (EDT)