One thing I should add is that this donation almost had to be targeted personally at members of a group I'm deemed to belong to, whether by human employees or their chatbots, not just mechanically.

My GitHub account is almost entirely inactive and aside from a few very small projects I still have hosted on GitHub, it's primarily there as a place to receive donations.

So there's no way it was just "top N active accounts", "accounts owning top N FOSS projects", or anything like that.

6/N