https://github.com/ingomueller-net commented: Thanks for the review! Now all comments should be addressed. I'll merge once CI has passed. Should some of the minor things still bother you/us, then I can still submit a fix-up. https://github.com/llvm/llvm-project/pull/67560