Откуда пошло название сорта яблок "Антоновка"? В честь какого Антона (Антонова) её назвали?

В честь штопанного антона

Очень красивая история имени яблони пришла в 1896 году из Тульской губернии. Там
яблоню за её ароматные плоды называли Антоновка духовая от слова ”дух”
(аромат) . Вторую часть имени яблони “Антоновка” дали в честь садовника
Антона, который вывел этот сорт яблони.

А почему вначале антоновку называли Красноглазовка ???