Dessen bin ich mir bewusst, aber wie du weißt kann man diesen "End Game"-Eintrag nicht aus dem normalen Menü entfernen und daher empfinde ich das schon als eine Unschönheit, wenn man so einen "Spiel neu starten"-Button dann dort drin hat, wann braucht man so etwas schon, soll man halt F12 drücken.