bug#41038: [PATCH] doc: Reword "The GCC toolchain".

[zimoun]

Hi Ludo,

Friendly ping to avoid the tiny patch falls in the cracks.

Thanks,
simon