diff --git a/doc/faq.texi b/doc/faq.texi
index 1d854d5470cbc6c23e23f583e79aa99bed5b56c0..a5217d1a0213723fbc15687b1cd4e8bec774383e 100644
--- a/doc/faq.texi
+++ b/doc/faq.texi
@@ -109,6 +109,11 @@ If some MP3 codec like LAME is installed.
 This is a bug in gcc. Do not report it to us. Instead, please report it to
 the gcc developers. Note that we will not add workarounds for gcc bugs.
 
+Also note that (some of) the gcc developers believe this is not a bug or
+not a bug they should fix:
+@url{http://gcc.gnu.org/bugzilla/show_bug.cgi?id=11203}.
+Then again, some of them do not know the difference between an undecidable
+problem and an NP-hard problem...
 
 @chapter Usage