And in addition to the companies you mention, there was also Pixar, which of course he was also running. He was probably even more pissed that Catmull wasn't willing to dump all of Pixar's Linux machines and use Macs :)