I really wish there was at least one other and open hardware-accelerated format. It’s probably a bit too early for AV1, but VP9 would work with modern iOS and Android devices, for example.
I also wonder how much licensing costs were a concern here, although past RPis had software-unlockable codecs for that exact reason.