SPEC.md: work in progress