вообще то можно оптимизировать GIF-ы, сдесь максимум 50 цветов, и еще JPG весит намного больше, и можно получить нормальное изображение с оптимизацией GIF-a, а то что это свойства JPG-а я и сам знаю

. А при оптимизации JPG-a изображение теряет качества...скока в jpg-e цветов?...если не ошибаюсь около 16 миллионов, ну стоит ли так портить кнопки, если все равно получится весом больше а качеством хуже? так что может это и принято в каких то кругах делать так, но это еще не значит что так и надо