(these are people on the shahlab-members@lists.stanford.edu mailing list, in the #shahlab-members Slack channel)