08:54:00 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 https://www.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? 08:54:16 (and if it is a typo, can I just fork and put in a PR to fix that?) 13:52:49 crap, they're gone 13:53:34 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 14:37:40 Thanks for the quick reply! 14:38:11 In the meantime I ended up putting in a PR to fix it: https://github.com/rust-lang/rust-www/pull/1201 14:41:20 thanks! good find! 14:41:26 i didn't even realize that page existed, lol