Lightning also doesn't support native video output, everything is crushed down into a h264 stream that's decoded by the HDMI dongle. The USB-C iPads can do native 4K output.

The most generous outcome I can see is Apple ditching ports on the iPhone and Mini, and moving the Pros to USB-C.