Het heeft even geduurd – Ironman zou eigenlijk nog voor het einde van 2023 een nieuwe CEO presenteren – maar…