There are many formats for image files, including familiar formats such as 'JPG', 'PNG', and 'GIF', as well as new formats such as 'WebP ', ' AVIF ', and ' HEIF ' that appeared in the 2010s ...