link to GitHub help page on DNS records [ci skip]