polishing infinality-settings.sh