Update design-doc.txt