options.rst: correct broken URL