> So, Werner, can you change it to @slanted, please? A line in the
> manual explaining the reasoning would be good. "This command name
> is longer than the other font-change commands because it was
> invented much later." Or something like that.
Done.
Werner