I’m saying their source code is available to its users for auditing, changing, redistributing without risk of being sued for intellectual property violations.
That’s fine as far as the GPL goes. It doesn’t have to be public to non-users.
You’re basically saying that something isn’t wet, it just has water on it.