Restarting now works efficiently and properly (i.e. you can do it when paused and the game won't crash).