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. 🤷
didn’t see this in matrix, sorry - yes, noticed with the host migration too, gonna look into this