.ico é um formato de arquivo de imagem de contêiner que pode conter vários arquivos de imagem de tamanhos diferentes.
Parece que qualquer tamanho de imagem escolhido nessa página, você obtém o mesmo arquivo .ico com 64x64 pixels e abaixo.
Mesmo que os navegadores usem 16x16 pixels para favicons, não é uma má idéia usar arquivos .ico com imagens maiores para que os marcadores arrastados para a área de trabalho continuem com boa aparência.
Se você ativou o cache do navegador em seu servidor da web, o favicon só deve ser baixado uma vez pelos visitantes do seu site.
Se você deseja um arquivo menor, a maneira mais fácil provavelmente seria baixar uma versão png do tamanho desejado e usar uma das muitas aplicações web de conversão png para ico disponíveis na web.