Update some information in the design doc.