Uttered Brad Smith <brads(a)redhat.com>, spake thus:
I think it would look inconsistent if only these instructions were
treated as regular text so, for our purposes, I think we
definitely need to tag it with something, I'm just unsure what.
Well, <userinput>:wq</userinput>, of course. <keycode> and
<keycap>
are not "key strokes", they are silkscreen labels and ROM values.
Just my $0.02e+48 on it.
Cheers