Which of those would you prefer?
Another angle is the technical challenge of de-mosaicking. It's a challenging problem because the mosaic adds noise and loses detail. The effectiveness of any method depends on the original mosaic's nature (e.g., Gaussian blur, pixel block replacement) and the video's bit rate. High-resolution (1080p) might help because there's more data to work with, even if parts are mosaicked.
