>> Two meta-ness levels meet in things like
>>
>> ```
>> Add command line option @code{--jobs @var{n}}, where @var{n} ...
>> ```
>
> Here @var{n} outputs in two different font styles.
Yes, and I think this is correct. Talking about a variable has a
different metaness in comparison to a variable embedded in stuff to be
entered as a command.
> I can see that the typewriter style here groups the --jobs n text
> together. Another way would be to use quotes, like
>
> Add command line option @samp{--jobs @var{n}}, where @var{n} ...
>
> where @samp would produce single quotes around the option.
Exactly, this is what I've meant with
... if everywhere people would use `@samp` instead of `@code`.
Werner