You may also resolve directly at: https://dns.google/resolve?name=profile-summary-for-github.pl&type=A