@WG-prioritization/alerts issue #82477 has been requested for prioritization.
I think P-medium. In the past I think we've kept P-low for things that we don't plan to fix.
yes I agree.
In this case I would just remove the
I-prioritize label. We are only interested in rustdoc issues when they're bad :) and we ping the team when needed (which rarely happens because Joshua Nelson jumps on new issues quite fast) :-)
Issue #82477's prioritization request has been removed.