Es lassen sich in Safari viele kleine Helferlein installieren. Sollte man sich dann irgendwann mal mit der Fehlermeldung „Wiederherstellung – Safari wurde nicht korrekt beendet. Soll „xyz“ (in meinem Fall Glims) alle Tabs der letzten Sitzung wieder herstellen?“ konfrontiert sehen und das Ergebnis von „O.K.“ oder „Abbrechen“ der bunte sich drehende Ball sein, einfach „xyz“ (bzw. Glims bei mir) neu installieren. In meinem Fall war das die einfachste Lösung.