Подрезали уздечку в 4 месяца: надо ли обрабатывать зеленкой?

Маленькому сегодня подрезали уздечку, ох и плакал, малыш мой(( Почему не в 1 месяц? В месяц хирург сказвла все норм, в 3,5 ей показалось, что маленькая. В 4 вышла из отпуска хирург-стоматолог. Сказали обрабатывать зеленкой, что-то не знаю надо ли🤪 когда старший расшиб десну, врач сказал ничем не обрабатыватт и не мазатт во рту. Расскажите, обрабатывали ли зеленкой??