Как в Андроиде снизить приоритет IPv6? Чтобы по умолчанию был IPv4. А IPv6 только тогда, когда больше никак. В нормальном человеческом Линухе это одна или несколько строчек в `/etc/gai.conf`. А в Андроиде как?..