Tools: Version check: Switched to GitHub API.