https://github.com/ingomueller-net commented: Thanks a lot, @ftynse, for the detailed feedback! I just pushed a bunch of commits that should address your comments (modulo the questions I am submitting here). https://github.com/llvm/llvm-project/pull/67560