DNS traffic can leak outside the VPN tunnel on Android

We were recently made aware of multiple potential DNS leaks on Android. They stem from bugs in Android itself, and only affect certain apps.