perf: link with identical code folding#12022

Kha wants to merge 2 commits intoleanprover:masterleanprover/lean4:masterfrom

Kha:push-yvwnqyzozowpKha/lean4:push-yvwnqyzozowpCopy head branch name to clipboard