Team lead of the official Rust linter Clippy