And about detecting projects which dared to move their release builds away from GitHub.com/GitLab.com.