Inzwischen wieder. Ich hatte zuvor (mit der fehlerhaften "neuen" Version von Office Black, ich glaube 2.01) den Eintrag auf "false" gesetzt, damit war es gut. Einige Stunden danach kam ein neues Update für Office Black auf 2.1, und da nach ich den Eintrag wieder auf "true" zurückgesetzt, und die Buttons blieben trotzdem sichtbar, wie es sein sollte.