Doctor: Option Depreciation

I presume this needs to change to reflect #34147?