${lead}
In den Einstellungen von CyanogenMod sieht man, dass der Menüpunkt "Personalisierung" ein paar mehr Unterpunkte hat als bei den meisten ROMs der großen Hersteller.