Last PR announced a change of CEO. That’s pretty major and material news. And it’s the CEO of a company mentioned in the prior to PRs. That sounds like an acquisition, merger, or major new business direction is about to land.