Update DesignDoc.txt