переход от "автоформализации" к "автоформализации всех извинений в публичных репозиториях Lean4"