Broken link Extended-asm-with-goto.html#Extended-asm-with-goto in online HTML documentation

[Stephan Bergmann <sbergman at redhat dot com>]

Not sure if it is already known, but noticed that at least in the online 
HTML documentation for all versions since 4.5 (where it was apparently 
introduced), at 
<http://gcc.gnu.org/onlinedocs/gcc-4.5.4/gcc/Extended-Asm.html> in the 
paragraph

  Speaking of labels, jumps from one asm to another are not supported. 
The compiler's optimizers do not know about these jumps, and therefore 
they cannot take account of them when deciding how to optimize. See 
Extended asm with goto.

the link of "Extended asm with goto" is

  <a href="Extended-asm-with-goto.html#Extended-asm-with-goto">

to a non-existing


<http://gcc.gnu.org/onlinedocs/gcc-4.5.4/gcc/Extended-asm-with-goto.html#Extended-asm-with-goto>

which gets redirected as

  <meta http-equiv="refresh" content="0; 
url=Extended-Asm.html#Extended%20asm%20with%20goto">

to a URL with non-matching spaces vs. hyphens in the fragment, so 
doesn't make the browser jump to the 
<http://gcc.gnu.org/onlinedocs/gcc-4.5.4/gcc/Extended-Asm.html#Extended-asm-with-goto> 
anchor.

Stephan