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 9.9.9.9, 8.8.8.8, and 1.1.1.1. 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