On Fri, 23 Dec 2022, Jose E. Marchesi via Gcc-patches wrote:
> This patch adds an entry to the News section in index.html, announcing
> the availability of a nightly build of bpf-unknown-none-gcc.

Nice!

> +<dt><span><a href="https://godbolt.org">GCC BPF in Compiler Explorer</a></span>
> +     <span class="date">[2022-12-23]</span></dt>
> +<dd>Support for a nightly build of the bpf-unknown-none-gcc compiler
> +  has been contributed to Compiler Explorer (aka godbolt.org) by Marc
> +  Poulhičs</dd>

Usually I recommend active voice, something like "Compiler Explorer (aka 
godbolt.org) now supports nightly builds of the bpf-unknown-none-gcc 
compiler thanks to Marc Poulhičs", but your proposal is perfectly fine, 
too.

Which means only change if you like the alternative apprach better 
yourself; otherwise simply use the existing one.

Either way: Okay, and thank you!

Gerald