Update options.md

trivial typo
Update options.md

For Markdown, `highlight` is now true by default
Merge pull request #695 from krlmlr/patch-1

Update options.md