Backfill teams for alumni

[dtolnay]

Based on the following output from the code in #1125.

Aatch ["compiler"]
MajorBreakfast ["wg-async"]
QuietMisdreavus ["docs-rs", "rustdoc"]
TimNN ["infra"]
arielb1 ["compiler"]
bkoropoff ["compiler"]
booyaa ["community"]
edunham ["community"]
erickt ["community", "core", "infra", "mods"]
frewsxcv ["infra"]
jseyfried ["compiler"]
levex ["wg-embedded"]
niconii ["mods"]
pcwalton ["core"]
tomprince ["infra"]

@Aatch @MajorBreakfast @QuietMisdreavus @TimNN @arielb1 @bkoropoff @booyaa @edunham @erickt @frewsxcv @jseyfried @levex @niconii @pcwalton @tomprince — hopefully this looks all right to you.

You will be listed on the Rust website in an "Alumni" section of each team, like the one in https://www.rust-lang.org/governance/teams/infra#infra. Additionally you will remain listed in https://www.rust-lang.org/governance/teams/alumni.

Please let us know if there is any other team you would like to be recognized as an alumnus of, or if you would prefer for your profile to be dropped from the website.

[levex]

LGTM! Thank you.

[QuietMisdreavus]

I guess the Docs Team doesn't exist as a concept on the website any more? Otherwise this looks fine to me.

[frewsxcv]

I guess the Docs Team doesn't exist as a concept on the website any more? Otherwise this looks fine to me.

Same. I was also on the docs team but otherwise this PR looks good

[dtolnay]

I guess the Docs Team doesn't exist as a concept on the website any more?

Sadly not. This PR is meant to be purely additive recognition: you'll show up under https://www.rust-lang.org/governance/teams/dev-tools#docs-rs and https://www.rust-lang.org/governance/teams/dev-tools#rustdoc in addition to the one current place (https://www.rust-lang.org/governance/teams/alumni). The last one will continue to encompass all your other contributions.

[erickt]

LGTM as well. Thanks @dtolnay!

[QuietMisdreavus]

@dtolnay Makes sense to me, thanks!