Design doc additions