I would like more export details, like video resolution, FPS (more options), format etc... Actually, exporting a video makes it a bit laggy, that's really problematic. Please mind changing that quickly