banach-space wrote: > Some use [[VEC:[0-9a-zA-Z]+]] or [[VEC:.*]] . This one is actually a bit tricky to fix - it requires a few more changes in the captured output. And this PR is getting a bit noise. Shall we keep this for the future? https://github.com/llvm/llvm-project/pull/118112