superlint/scripts/clippy.sh