Comment 7 for bug 403137

I was going to change this, but there are a couple more bugs that are also tagged this way. I can somewhat understand the issue with using just "ignore" (though from the context it should seem obvious that this tag doesn't mean ignoring this bug report), but I'd rather keep the same tag for all of them.