should Orbot include DNS forwarder backed by DNS-over-TLS
DNS-over-TLS (DoT) is now available on many nameservers, and at least three, large public ones 184.108.40.206, 220.127.116.11, and 18.104.22.168. DoT plugs a significant metadata leak: the domain in plain text. Starting in Android 9, Android itself supports DoT. Should Orbot itself include a DNS server that uses only DoT?
If yes, then here is some related example code: https://github.com/gryphius/androdns