Aren’t some of the hardware encoders flexible enough to encode into VP9/8 or heck Theora?
wavpack for best free lossless compression and opus for when you want to max storage space.
It would be really fantastic if the camera could encode into free formats. Also avoids royalty fees for everybody too :)