On the other hand, it requires only one determined person out of hundreds of thousands who, for whatever reason (trolling, principled open source maximalist, AI researcher, code archiver, etc), decides to mirror all code marked with this badge to GitHub.