DOC double backticks for fixed-width (code) font

Fixes #3337. Also other minor fixes while I was at it.