今まであまりお目に掛からなかった拡張子が「.WEBP」という画像ファイル。 WebP - Wikipedia （Androidなんかだと、もうすでにメジャーだとか…？） それを、一般的な .jpg（.jpeg） .png .gif にしたいな～と思ってググった*1ところ、やれ変換ツールを入れろ…