Some more design doc updates.