Clippy comments on The things we know that we know ain’t so