I think it was a pertinent question, since I was the one who created the topic and then a bigger conversation unfolded... I've always used xiaomi.eu because I've always liked the ROM, and on all my 4 devices, at home , all have the xiaomi.eu ROM.
What I asked, and I know that someone has already asked, was whether there would be a version in the future without having to install "extra" things since there are several users in several groups complaining about the same problem.
I am very grateful for all the work that the Developers of this ROM have, honestly, I think it's a great job, it didn't cross my mind to criticize anything but to ask if they could pay more attention to this situation and find a permanent solution and not temporary.