Updates on repairing Xerox Alto