https://github.com/erichkeane approved this pull request. I'm happy with this as is, though note Aaron is away at WG14 in Graz this week. But it looks like you've done everything he's asked for, so feel free to merge. https://github.com/llvm/llvm-project/pull/127835