Oh yeah I believe you. Looks like they missed some, though. Is this one
supposed to be GPL too?
But yeah, GitHub processes a ton of DMCAs a day and it's possible they miss some they hope someone would give out a counterclaim, so I guess it's worth it to try.
On that, the US copyright law should probably be updated if it allows things like that to happen...