Doc fix: 'proxy' is not a general-case option.