Backfill missing Zulip IDs based on GitHub account association and user comments

[Kobzol]

This is a subset of #2039 that I'm most confident in that it is correct.

[github-actions]

Dry-run check results

[WARN  sync_team] sync-team is running in dry mode, no changes will be applied.
[INFO  sync_team] synchronizing github
[INFO  sync_team] 💻 Repo Diffs:
    📝 Editing repo 'rust-analyzer/countme':
      Unarchive

[jieyouxu]

Thanks

[jieyouxu]

Remark [AUTO-SPOT-CHECK 1/5]: Randomly picking some profiles to spot-check ✅

Basically, I removed their people/ entry then re-run cargo add --fetch-zulip-id $GITHUB_HANDLE to see if their github-id and zulip-id entries match with the diff.

[jieyouxu]

Remark [AUTO-SPOT-CHECK 2/5]: Randomly picking some profiles to spot-check ✅

This one I had to manually check, since cargo run add-person --fetch-zulip-id didn't work here as their zulip profile didn't have an associated github handle.

[jieyouxu]

Remark [AUTO-SPOT-CHECK 3/5]: Randomly picking some profiles to spot-check ✅

[jieyouxu]

Remark [AUTO-SPOT-CHECK 4/5]: Randomly picking some profiles to spot-check ✅

[jieyouxu]

Remark [AUTO-SPOT-CHECK 5/5]: Randomly picking some profiles to spot-check ✅

[jieyouxu]

Remark: I manually checked that these correspond to the zulip-ids reported by contributors in #2040.