Yes, a good question which I personally don't have to worry about since I'm not wealthy and have a small house! 
I'd expect any other Xiaomi devices to all have the same issues the same brands of repeaters. Some users like @NoWon have been testing how Xiaomi devices get along with different repeaters, can have a look near the end of this thread.
But yes, until a particular repeater device has been verifiably confirmed to play well with Xiaomi devices, I suppose it's a probable deal-breaker for the large-home owners here.
