extra::getopts: update docs for minor renaming.