scripts/user_settings.py: sync.