We will soon shut down the server for 1-2 days for migration to new hardware.
When to expect the final version for 5dm3?
I have higher hopes for uncompressed 422 video saved on the card, not via HDMI.
I don't see your point. To get a different resolution, one has to resample the sensor in a different way.