Observed this while working on #4348 1. `util/dev update_lints` incorrectly removes the lint from `src/lintlist/mod.rs`. It should be marked as `deprecated` instead by using the `deprecation` field 2. The lint deprecation does not take the `clippy::` prefix into account
