Add a note to the design docs.