That is an interesting read, thank you! That corresponds to 4Mpix readout from the full sensor, and with the 16:9 crop it's getting close to ~2.3k stream, which they almost certainly could output at 30fps having no problems with it.
Which could greatly help us handle image quality issues like moire, and have a new framing option too.
It's just not there, even not being discussed \