Update specs-and-specs-repo.html.md