Source file: docs/design.md (at main)