I wouldn't change the setting name, at least not in this PR, ...

Ok, will revert the change. Not now but later.

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.