Is there anything that can be done to decrease the SEO rank of deprecated pages? The impetus for this was linking to deprecated std modules such as numbers:

but it is likely worth doing for docs.rs as well if not too difficult. I am unsure whether there is a separate repo dedicated to the infrastructure of docs.rust-lang.org (please direct me if so) but figured any discussion here would also be valid there.
cc @jsha since you seem to be the resident expert based on rust-lang/docs.rs#1438
This parallels #98759 for internal rustdoc sorting. Relevant zulip thread: https://rust-lang.zulipchat.com/#narrow/stream/219381-t-libs/topic/Deprecation.20of.20std.3A.3Au32.20shells
Is there anything that can be done to decrease the SEO rank of deprecated pages? The impetus for this was linking to deprecated
stdmodules such as numbers:but it is likely worth doing for
docs.rsas well if not too difficult. I am unsure whether there is a separate repo dedicated to the infrastructure ofdocs.rust-lang.org(please direct me if so) but figured any discussion here would also be valid there.cc @jsha since you seem to be the resident expert based on rust-lang/docs.rs#1438
This parallels #98759 for internal rustdoc sorting. Relevant zulip thread: https://rust-lang.zulipchat.com/#narrow/stream/219381-t-libs/topic/Deprecation.20of.20std.3A.3Au32.20shells