Now, just a month and a half later, it is official: the two will not be working together any longer.
Now it's official: