Workflow Doctor options are defined in Studio Options. See the Studio documentation for more information.