extra::getopts: update docs for minor renaming.#10399

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom

huonw:get-opt-dochuonw/rust:get-opt-docCopy head branch name to clipboard