bcb4ab4b10
Clippy is a bit too heavy to be used as the check on save command in this repo. Let's set a better default.