I received this today, cc-ed to Tollef.
Regarding "Ubuntu bug 185263":
Apparently it has never occurred to you that this is a bug
in the MAN file for gcc?
I admire the goals of Ubuntu. But how will I ever be able to
recommend it to friends and colleagues, if its implementors
have such callous regard for the quality of user documentation?
Sincerely, Don Knuth