Update options.md

For Markdown, `highlight` is now true by default