hxka already discovered it the hard way - you can reset the game even faster by simply dragging the pause button all the way left to the clock. Sorry, didn't have much time these days, but I'll be free for the weekend to make final adjustments and upload the game to extras-devel.