Docs: `unnecessary_map_or` wrong "Added in" version

[ctz]

https://rust-lang.github.io/rust-clippy/master/index.html#unnecessary_map_or says this new lint was introduced in 1.75. However, AFAICT this lint was only introduced two weeks ago via #11796