@leocg Good guess. I tested the new themes when they came out, the moving ones, but returned to my old static one afterwards. The naming was gone.
Surprise surprise: this morning after reboot everything is again as it was and should be 🙂 But thanks for the hint anyway: so now I know where to look if it happens again.