https://github.com/cor3ntin approved this pull request. LGTM - sorry for the delayed response. Will you need me to merge that for you (once the merge conflict is resolved)? https://github.com/llvm/llvm-project/pull/133574