Document changes in 6963 (#7441)

Commit

6 years ago

Document changes in 6963 (#7441) * Document 6963 * Minor tweaks * Minor edit * Add a note on the changed default value in options.md to keep things in sync