Also an impressive achievement on the software side of things - no room for showstopper bugs here! It's not quite as simple as taking it offline, deploying some new code and starting it up again.
Is there any information on the processes used to have such a high level of confidence in the software? Lots of simulation? Relatedly, it might also be interesting to see a list of 'known bugs' and ways they've been worked around.