@redi wrote in https://forge.sourceware.org/gcc/gcc-wwwdocs/pulls/3#issuecomment-7538:
> Such suggestions should be discussed on the mailing lists not in comments on > a random PR Sorry for the inappropriate location. Still I'm not intended to comment in a random PR but this looks like a concrete example of how we can benefit from the proposed feature. BTW, which mailing list is more suitable for discuss this? `forge` or `gcc`? -- https://forge.sourceware.org/gcc/gcc-wwwdocs/pulls/3#issuecomment-7541
