Update designdoc.txt