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 22.214.171.124, 126.96.36.199, and 188.8.131.52. 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