See [#lean4 > LetRec Error @ 💬](https://leanprover.zulipchat.com/#narrow/channel/270676-lean4/topic/LetRec.20Error/near/509466094). The comparison probably needs to be more filesystem-aware.