Bug reporting instructions

[Dara Hazeghi]

Hello,

http://gcc.gnu.org/bugs.html#where mentions both GNATS and gcc-bugs. 
But http://gcc.gnu.org/onlinedocs/g77/Bug-Lists.html , 
http://gcc.gnu.org/onlinedocs/gcc/Bug-Lists.html and probably all the 
others only mention gcc-bugs. Should this be updated?

Thanks,

Dara