I'm confused - was the case of John Carmack cited because his tweets have now been raised in court and have hurt his case? I haven't been following this situation so I've zero context.