update design docs, include messages (#5188)