I first noticed this with push.tchncs.de but there’s actually a lot of other domains which interestingly don’t have IPv6 addresses. It feels like it’s just missing AAAA records because a lot of these addresses come from the same place, but some of them just don’t have any. 🤷