doctor: option depreciation

I presume this needs to change to reflect #34147?

Closes #34151.

Signed-off-by: Mike McQuaid <mike@mikemcquaid.com>