Hey,
Maybe you can add in the first post under "HowTo", if it's better to go back to "stock" Gingerbread and then flash your MIUI version or if we can flash it over a nightly build of CM9 as well .. with full wipe of course.
I don't know which base to use to flash your ROM over.