> Minecraft has SRV record support

He’s scanning IP addresses, not dns names, so there’s no easy way to get SRV records. He could first do a reverse DNS lookup, but that would slow things down tremendously and also there are many, many Minecraft servers running without DNS names