Und die alte Methode für die Reparatur des Benutzerordners ist ja immerhin mit einem komplizierten Terminalbefehl zu haben gewesen – die jetzt vereinfachte Anleitung (im Bedarfsfall neues System drüberinstallieren) ist wohl weniger kritisch.