Die Option gibt es leider auch nicht. Du müsstest ein Image von Deinem Mac OS machen und formatieren. Ist leider ziemlich ätzend.
Schade, das ist in der Tat dümmlich. Warum weigert sich Apple denn so eine Funktion umzusetzen? Ich bräuchte ja garkine explizite Defragmentierung, es würde ja reichen wenn der Disk Manager automatisch die Daten verschieben würde, so wie es Partition Magic tut.