Hi, thanks for coming back to this. Sounds good. I may try it out, once I'll be less tired. :)
/edit:
Well, I couldn't wait. ;-)
I downloaded and installed a ported rom based upon xiaomi.eu 9.2.28, suitable for mido. Yes, I know, this is no offical xiaomi.eu rom, but I checked by decompiling...