Updates to Design Docs