and I still don't understand how that's related to anything else in this thread.
And we've already had the conversation about Github's TOS. I said
and that's all still true.
Since the only PII they require is your email address (just as we do), they could fairly easily handle under-13 users by omitting the option to enter your real name etc. in your profile. I don't know why they don't do that; you'd have to ask them.