pivotar de "auto-formalização" para "auto-formalizar todos os pedidos de desculpas nos repositórios públicos do Lean4"