I have used Lightroom a long to organize my photo and video catalog. However, after the latest equipment purchase I have need to export videos in 4k. Is that true that there is not any way to export videos as 4k? It looks that videos can only be encoded to 1080p. Of course it is always possible to just export original unedited video but trimming and quick develop tools are so powerful that I would like to use them.