Just switched to PEv4 from MIUI, it's pretty much better in every way. The only thing I miss is having a theme manager, any plans on adding one in the future, or is there an app that can do that?