Also formalizing the `*_menu()` naming convention I've been following for a while. Part of P0265, funded by [Anonymous] and iruleatgames.