Random unrelated reminder that GitHub still doesn't support IPv6 yet.