Eric Armbruster authored Oct 23, 2022 and Christoph Cullmann committed Oct 23, 2022

The option is renamed to better match the naming that is used on the
welcome page, so users will not be confused by two totally
different names for one option. Also, there is no need to invert the
checkboxes this way.