Links for spec-test-generator