Если они так и обновляются - то никаких вопросов нет, все замечательно.
Пару десятков секунд от силы...
Есть уйма способов ему подсказать - дописать комментарий возле имени файла, бросить сообщение в системный трей при обновлении. Всяко лучше чем тогда когда файл прокси обновился а реакции...