Great article Phil!
Just a few comments from me...
First, where you have jacked up the car, shown in pictures 2 and 7, is not a recommended jacking point. I did this at first, and although it doesn't seem to bend, it could crumple there and drop the car. I didn't put the full back-end weight on the stand when I did it......
In order to get the old belt off and the new one on, the other method of loosening both engine mount bolts enough to lower the engine, then removing one bolt, getting the belt halfway, replacing that bolt and removing the other, so threading the belt past the bolts in turn, works very well. I was a bit nervous about holding the engine up on the jack with both bolts out...
Finally, it's worth a reminder to look up all the torque figures in the service manual and use a torque wrench! I couldn't believe how many bolts and screws were way too tight when I did mine.