This is an existing option name since before this PR, so such a change would not be part of this patch.