http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54973
--- Comment #1 from Frédéric Buclin <LpSolit at netscape dot net> 2012-10-18 12:51:28 UTC --- If you attach a mockup, I can easily write the corresponding code. This new big notice should only be visible to users with no privileges, right? I guess that all users with editbugs privs know what is appropriate to report and what is not.