my two cents:
"Red Hat to Acquire CoreOS" is fact
"Expanding its Kubernetes and Containers Leadership" is hyperbole
Just some facts: Red Hat is #2 corporate committer (after Google and "independent") to Kubernetes[1]. With the acquisition of CoreOS Red Hat engineers now lead or co-lead 15 of the Kubernetes SIGs[2].