day-of-week and workweek display on "terminal"

[kilobyte]

I find it lacking that the "terminal" face, otherwise most information dense, lacks day-of-week display. And there's free space that could hold it.

But, we could do better than just saying Mon/Tue/Wed/...: those of us who work in US-style corporations also need ISO Work Week number — it tends to be used more than normal-people date. This piece is available only on the "Casio" face, which in turn lacks other bits "terminal" has, and it takes quite some space there. I'd instead suggest the scheme that's used eg. at Intel: "WW42.1" as "Monday of week 42". That fits well within "terminal"'s terseness.

Thus, the extra line would be:

[WEEK] 42.1

with digits 6 and 7 shown in red.