On Mon, 13 Jan 2020, Jonathan Wakely wrote: > Here's what I've committed to releases/gcc-9, I'll do something > similar for gcc-8. Cool, thank you. That was a good catch, even without the conversion to GIT; I'll see that I'll contribute to the conversion on the wwwdocs side over the coming evenings. Gerald