vogelsgesang wrote: Thanks for reporting. I actually ended up feeding this document to AI and asked it to do a proof-read. It found a couple more smaller issues. Those are fixed in #146282 now https://github.com/llvm/llvm-project/pull/142651