I see. It still feels like a bit of an oddly solemn way of saying "this is the part we admit responsibility for"

It’s more than you get from free software - you get no proofs, no warranties and any responsibility of its authors are their pure good will. Reminder lean proofs are software!

Well, to be fair, with Lean proofs, that's the only thing there is (unless I'm missing something).