I wonder if that's important enough to surface in a document like this, since that seems like a singular exception to the rule that we don't switch schedulers (assuming a valid current scheduler).