Como comprimir imagens para a web

Um jeito prático de reduzir JPEG, PNG e WebP sem confiar num percentual inventado.

O tamanho na tela vem do arquivo que o navegador acabou de criar.