Links to web pages are broken.

[Georg-Johann Lay]

Hi, I just observed that links like

https://gcc.gnu.org/install/configure.html

ceased to work.  Presumably this is to sphinx stuff, but it would be 
great if not hundreds of links across the web to GCC pages like the 
above would be 404.

I know that the new link is

https://gcc.gnu.org/install/configuration.html

but that doesn't help with existing pointers.

"Deep" links like https://gcc.gnu.org/install/configuration.html#avr

won't work either, so all reasonable anchors have been ditched, too?

Johann