hi, Baski! Glad that you're now an enthusiast with all the ROM updating.
I'm new too. If I'm getting this right, feedback should be to MIUIandroid.com, which is this forum instead of MIUI, because MIUI releases stable JLB ROM (example JLB11.0) while MIUIandroid releases weekly ROM (e.g. 3.3.1)