Yes, my understanding is that it's a bug (or incompatibility) in Android's DoT stack.
I'm at a loss. Where can someone like me (simple user) post android bug reports?
While fixing this eventually on Android side will be nice, I don't think it can really address the immediate concerns. For that I'm afraid that DoT servers will just have to switch to a different chain (old Androids didn't have built-in DoT anyway).