Ability to export videos in full resolution, in original file size (3840 × 2160), or maybe a different codec that would improve the export quality overall.

The Input works, but the output always comes compressed to 1920x1080 and very low quality.