I have recently installed CyanogenMod 13 on an Android One phone (i.e. the 'sprout' version of CM). I installed the release version. In the notification settings, under "when locked", I was surprised to find that the setting "hide sensitive content" is missing. I.e. I can either choose to have all my notifications be completely visible, or I can choose to have them be completely hidden. Neither of those is a convenient setting. Is there a workaround for this?