Thomas Rast [off-list ref] writes:
* More importantly, while `code` style seems to be an improvement in
HTML output (because it gives typewriter font), my local 'man'
renders 'emphasis' as underlines -- which actually makes the code
snippets much more visible than `literal` quotes which are not
rendered specially at all.
So which way should it be changed?
I'd prefer to see us mark code as `code`.
The documentation toolchain may hopefully be fixed in the upstream in the
future, and we could keep our local style tweaks in Documentation/ until
that happens if we really wanted to.