Because not everybody will have updated immediately something is changed, so a reasonable time should be allowed before changing the default, especially as I understand it, the old name still works in many cases.

In the meantime its very simple to change yourself.

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