diff-options.txt: fix minor typos, font inconsistencies, in docs