Put a couple of filenames in code spans so that _ characters in them
would not turn on unwanted <em> in HTML. This is something GitHub's
Markdown markup doesn't do because it's almost never what you want, but
everything else does because that's what John Gruber designed.