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 220.127.116.11, 18.104.22.168, and 22.214.171.124. 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