Aufgrund eines schweren Fehlers beim Umbenennen von Verzeichnissen wurde eine
neue Version 10.0.1 (Doldenhorn)
veröffentlicht, die noch weitere Bugfixes enthält.
Ein Update auf diese Version wird auf jeden Fall empfohlen.
Wichtige Hinweise finden sich in der Versionshistorie, die wie immer vor Installation beachtet werden sollten.