> I don't see a compelling case for a change. As we often say, "the
standard is not a tutorial".

ok, sure.

It was for the same initial motivation applied to F, not for tutoring.

But, it's ok.
Thanks.