We should add more rich formatting so that filenames and such stand out from the rest of the text.
We should add more rich formatting so that filenames and such stand out from the rest of the text.