I have to admit I’m confused by this one myself.
On my Samsung Galaxy A10 it couldn’t find it, but no issue adding it on iOS before that so it’s unlikely to be some weird DNS issue (I run my own DNS servers on my home network so guaranteed it was cached when Android tried to look it up)