https://github.com/Michael137 commented: Seems reasonable to make this less spammy. Though is there a reason why we're not adding them to the manual index? Is this just something we didn't implement (yet)? https://github.com/llvm/llvm-project/pull/108806