Den mini in den Auslieferungszustand zurückversetzen

Hallo Shaun,

vielleicht mit dem Arm Editor? Das könntest du mal ausprobieren. Es ist aber ein Texteditor…
Die findest die Quelldatei (und eine recht kurze Anleitung, wie du sie ändern könntest) hier:

Beste Grüße
Jörn