Why would someone use DNSCrypt on android? DNS over TLS is implemented in AOSP since pie(9).