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
