Text this: Therapeutic hypothermia to reduce intracranial pressure after traumatic brain injury: the Eurotherm3235 RCT