Where *were* you looking, in both cases?
I mean, the clock formatting option for *CRe* was only added two weeks ago:
https://github.com/koreader/crengine...11c151db03d95b, and I'm not sure it's even landed upstream yet, so it's currently only available in KOReader nightlies.