Update _docs/design.txt