What’s really going on in the NFL head-injury lawsuit?