Re: [dev-context] Is this font changing allowed/correct?

I thought so. For practical reasons, the manual documents current only. (btw, it is getting time for a new current, I think).

+1 -- luigi