Weirdly, my "Linux ISOs" are compressed in x265 :)

Which is only marginally more effecient than the H.264 encoding that many of them are delivered in. And the biggest shiniest Linux ISOs already use H.265 out of the box.