Update docs_option.html