fix: add missing .ofNats in lake translate-config#11771

eric-wieser wants to merge 1 commit intoleanprover:masterleanprover/lean4:masterfrom

eric-wieser:patch-65eric-wieser/lean4:patch-65Copy head branch name to clipboard