Re: broken link on this page https://gcc.gnu.org/gcc-7/changes.html for link to "Profile Mode" page:

[Gerald Pfeifer]

On Fri, 4 Aug 2017, Jonathan Wakely wrote:
> Thanks for letting us know, I've fixed the link.

Thanks, Jonathan.

https://gcc.gnu.org/onlinedocs/gcc-7.1.0/libstdc++/manual/manual/profile_mode.html
                                                   ^^^^^^^^^^^^^

Should we do something about "manual/manual" in the above, though?

Gerald