Update design docs