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? — 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. — {Espyo^T} 15:58, June 26, 2021 (EDT)