Rename NashPastSpec.md to spec.md