Thanks again BlecKent, I thought the xiaomi.eu rom will flash permanent TWRP automatically, like it happened with my Mi5,
but it looks like in Mi4s things work differently. Now that the new xiaomi.eu rom is working, I am a bit afraid to try additional TWRP flashing (done two times already). My...