Update Design Doc, correctly formated