https://github.com/mordante approved this pull request. LGTM. Please make sure that when landing the PR message is updated to the message of the commit. (I'm not sure whether GitHub does that automatically.) https://github.com/llvm/llvm-project/pull/65859