Config override in settings.php file doesn't work for permissions

Description of the need

We constantly sync DB from production to local dev branch and have to manually set permissions after each sync. Would be nice if the config override system worked also for permissions.

Additional information

Unfortunately, the overrides in settings.php like:

// Perms
$config['user.role.authenticated']['permissions'] = ['access devel information', 'switch users'];

or

// Perms
$config['user.role.authenticated']['permissions'][] = 'access devel information';
$config['user.role.authenticated']['permissions'][] = 'switch users'];

have no effect.