I think the new text—together with the yet-to-be-written migration docs—will be sufficient, and we should not change the name of a setting which retains is previous semantics; that would feel gratuitios to users.