chore: adaptations for v4.22.0-rc3#7

ammkrn wants to merge 2 commits intoleanprover:masterleanprover/lean4export:masterfrom

ammkrn:ammkrn/bump_v4.22.0-rc3ammkrn/lean4export:ammkrn/bump_v4.22.0-rc3Copy head branch name to clipboard