Well, the FTC court docs show Phil Spencer wanted to (the spinoff Minecraft Dungeons), but couldn't due to the contract with Notch. He instructed his team to try and find a loophole, and described the contract as something he regrets. When asked about this on the stand, he said "We ended up releasing on PlayStation"