> we decide not to trigger a warning bar for bad font -- there are too many pdfs with bad fonts. 

Makes perfect sense to me, I just wasn't aware of this decision. Thanks for the info!