Eigentlich war das Problem Dummheit des Benutzers!
Ich habe es zum Standard-Theme hinzugefügt. Leider habe ich vergessen, dass ich für mein eigenes Konto ein Entwickler-Theme verwendete. Doh!
Danke, dass Sie sich damit beschäftigt haben, und es tut mir leid, Ihre Zeit verschwendet zu haben! Es ist ein gutes TC – könnte etwas Dokumentation gebrauchen, oder?