ingomueller-net wrote: Yeah, good point! Fixed with latest commit. I'll merge when CI has passed but do let me know in case you aren't happy with the text I added; I can still change it. https://github.com/llvm/llvm-project/pull/84011