lint-docs: Add redirects for renamed lints.#123986

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom

ehuss:lint-renamedehuss/rust:lint-renamedCopy head branch name to clipboard