docs/design/: Update some docs.