Regenerating [`./SPEC.md`](./SPEC.md)