News broke after the end of my TOD so I'll check my official work e-mail in the morning.