Some additions to the Design Docs