From: Brian Bartels <bartels.desmond@gmail.com>
Date: Thu, 30 Sep 2021 17:15:00 GMT
Subject: Should help.autocorrect be on by default?
Message-ID: <CAEWW4VdL0N9DmJ7jwGY0WNN6SR75v-RR2HU-uFn7qDkod8o7Sg@mail.gmail.com>

This would save developers precious inner loop time. I looked at the
code and it already handles cases where the environment isn't
interactive. So this should be a pretty minor configuration change.

Let me know what you think,
Brian