Update for new settings management in GitExtensions v2.48