Yeah, I was on the fence about backtick-ing these.  Eventually I backtick-ed them because I figured it was “quoting” program output—output that people will be reading from a terminal, which is almost always set to a monospace font.  

Given my uncertainty and your feedback, I’ll change these back to quotes.  (Maybe I’ll add a `samp` element in the future, but I’ll worry about that later.) ☺