Big yellow box on the issue tracker page

Hi all,

I've noticed a fair number of issues being filed recently by people who
haven't read the big, yellow box on the main issue tracker page. I
don't know whether it will make any difference, but maybe we could use a
larger or bolder font, and make the box red instead (yellow on white is
kind of low-contrast and maybe hard to notice). I think we'll always
get some who for whatever reason file issues before posting to the list,
but maybe these changes could cut down on the frequency with which it
happens?

-- Mike

-- 
Michael W. Thelen
"When I use a word," Humpty Dumpty said, in rather a scornful tone, "it means
just what I choose it to mean-- neither more nor less."
                -- Lewis Carroll, "Through the Looking-Glass"