True, thanks. There's AV1, VP9 and related codecs too, but I've not seen many sources that only provide those and not one of the MPEG codecs as well. I've moved towards HEVC for anything I want to hang on to long-term, now that all my devices can handle it.