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