Image formats

WebP, AVIF, PNG, JPG, TIFF, GIF: how they differ, when to pick which, and how to convert between them.