from the NAT64 gateway in the thread I learned from ipv4 mapped ipv6 addresses

    2001:67c:27e4:1064::140.82.121.3 github.com www.github.com

if your curious too, see https://www.rfc-editor.org/rfc/rfc6052#section-2.4