Thank you for the bug report. Indeed, the default did change with the plugin, and what we should do is warn if the setting is non-default. We can avoid a lot of complex logic by just testing whether the value is equal to the default in the old or new version, regardless of the actual version running.
Thank you for the bug report. Indeed, the default did change with the plugin, and what we should do is warn if the setting is non-default. We can avoid a lot of complex logic by just testing whether the value is equal to the default in the old or new version, regardless of the actual version running.