Update the design docs