Keep in mind Jeff actually has to ask for them to be in violation of it.
Actually, no. Unless they included the source code (they didn't), or included a written offer on how to obtain the source code (I've seen no reports of such), then they are already in violation.