DesignSurvey: documentation improvements.