No, our ROM, Xiaomi.eu, is a custom ROM. I'm reacting to your unnecessary "these were the last Xiaomi phones we are going to buy" comment.
Indeed they are.
Being unhappy with a brand because something you experienced on a custom ROM without knowing if they are even official issues or not makes...