Schön zu hören!
Oh ja, da haben Sie absolut Recht! Das habe ich völlig übersehen. Dieser Commit von gestern hat die --header-offset-Logik refaktorisiert, sodass sie ständig läuft, anstatt ‘nur wenn angedockt’. Das hat die Scroll-Leistung verlangsamt. Meine Korrektur hat diese Logik effizienter gemacht, deshalb funktioniert es jetzt. 