@sturmsucht Nice. I use this alongside https://squoosh.app, which can also convert between formats.