I might be mistaken, but it seems in this new YouTube video he contradicted himself on a couple of things. Before he said the alignment of sources were performed with a semi-automatic software using the method of image registration - there even was a video demonstrating it on the SW logo.
iirc Mike’s always said that the stabilization had to be done by hand. I think he used the image registration software to fix warping.