Update designdoc.md