I made a change to the PdfHandler page  and then realized you had previously undid the change I had made. I almost undid my change, but I think the change is actually beneficial so wanted to let you know and get your thoughts.
I changed <kbd> to <code> for readability and in your previous edit going the other way, you pointed to the Wikipedia article on HTML elements . To me, the version with kbd  is much harder to determine which text the user needs to type (or copy) and the version with code  is much easier (to copy as well).
Interested in your thoughts.
Hi Bryan, I switched that text from
kbd is the semantic element for keyboard input - that is, for text the user is supposed to type, into a terminal or command line or the like. I do agree that its visual style isn't as nice as the style for
code, though; it might be worth asking if
kbd can be styled the same as
code in MediaWiki:Gadget-site.css.