docs: point spec references to the real repository#2

mtecnic wants to merge 1 commit intomainmtecnic/ctx:mainfrom

docs/remove-dead-spec-repo-urlsmtecnic/ctx:docs/remove-dead-spec-repo-urlsCopy head branch name to clipboard