The spirit of copyleft has no weight in a courtroom. If people are unhappy with the way Red Hat is legally using the GPL, we need better licenses.