Yup. The rumor mill was talking about a CEO change for a while, and around the time you saw the rumors building you saw the departures you mentioned. Ternus was being mentioned as the likely successor at least back to November last year. So internally the shifts have already been happening for some time, only observable on the outside via the high profile departures.
To support this I was thinking about (and obviously Googling these names because I definitely don't know them by heart, only that they recently left) the change of CFO Luca Maestri to Kevan Parekh, John Giannandrea being removed, Alan Dye leaving and being replaced with Steve Lemay.
So I take those 4 months more as like an FYI to the public than anything else. Though I am definitely not someone that knows corporate politics all that well (or at all), just mostly thinking out loud in response to your comment.