After game over, I couldn’t find a way to restart from inside the game — the only option was to close and relaunch it.
Yup that's intended, we (by we i mean him) didn't have much time left so we (again) decided to just leave it like that, also wouldnt just quiting the game be more confusing?
Yeah, auto-closing would probably feel more buggy. This one just stands out a bit and breaks the flow for me.