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

[Jonathan Wakely]

On 5 August 2017 at 21:58, Gerald Pfeifer wrote:
> 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

It's been like that in every release for years. I'm not worried about it.