There are dozens of image formats available, but Google search supports only these formats: JPEG, PNG, WebP ... it results in an 8.3 KB file, while TinyJPG generates a slightly different 8.7 ...