doc: use backticks for code-in-comments.