Didn’t see that. But yeah that covers it. They aren’t required to do a formal press release. Again though, why wouldn’t they? I’ve never heard of a company *not* PR’ing a new lead exec hire.