Ooops, forget that. There was a class, there’s an ID now. It could be simpler (“lockcreen-clock” instead of “lockscreen-clock-time”) but I don’t care much.