On Wed, Oct 10, 2018 at 06:41:21PM -0700, Kenneth Porter wrote: > (I'd wanted to avoid editing the distro-supplied file and change the > setting in a subsequent site file but that's not possible to opt out of a > loadplugin.)
There's no need to avoid editing .pre files. They are versioned for reason and old ones are never changed after release.
