It's not about following the law — it's about avoiding penalties in practice.

Did they get penalised? Is anyone getting penalised? No? Then there's no reason for legal to block it.

And remember when you put the GPL license on a project, that's only worth your willingness to sue anyone who violates, otherwise your project is public domain.