For posterity: playdate.restart() now reboots the current game (with optional command-line arguments added, even).
I’m not aware of a way to force an exit to the launcher—which is the less useful of the two anyway!
4 Likes