And the name is now reused for Rust's package manager cargo's lint tool. I wonder how Rust was able to use the name clippy, I would have thought it were trademarked by Microsoft.
Cargo's clippy started as a third-party tool and got upstreamed later. It's entirely possible that it could be infringing on some trademark, but in that case it wouldn't be that much trouble to change it to "cargo vet" or something.
