Moved to https://www.w3.org/guide/github/w3c.json.html