Rename Specs.txt to Specs.md