RIP Sir Michael – your duty has been nobly done.