OK we now have 720p video, we have a hdmi out, we also have 32gb micro sd cards. So when will we see a good video editing app for android?