@WG-prioritization/alerts issue #79961 has been requested for prioritization.
This one should probably be P-medium or P-high. Probably P-high since it makes it very hard to read.
@Joshua Nelson Should I CC T-rustdoc here?
Yes, that would be great, thanks!
Too late; I already fixed it ;)
I'm going to label it as P-medium since I made the fix and it's in the bors queue
Issue #79961's prioritization request has been removed.