Hi. I have a question that is related with rustdoc but not quite sure where to bring it up so here I am. I've noticed that in rust-lang.org/en-US/contribute-tools.html it is mentioned the label A-rustdoc but when I follow the link there are no open/closed PRs/issues with that label. There are plenty with the T-rustdoc label though. Is this a typo?

(and if it is a typo, can I just fork and put in a PR to fix that?)

crap, they're gone

yes, the A-rustdoc is wrong, though it *was* right at the time that was written - i changed it to T-rustdoc a while back once rustdoc got its own team

Thanks for the quick reply!

In the meantime I ended up putting in a PR to fix it: rust-lang/rust-www #1201

thanks! good find!

i didn't even realize that page existed, lol