https://github.com/rust-lang/rust/pull/66931 broke clippy but the webpage was not updated accordingly.