They probably literally just scanned-in a printout of it. Likely they do this to avoid the issues of improper PDF redactions that got famous a few years ago. Do the redaction on real paper (or not) and just always scan it in, and it's nearly foolproof. And trust me, we get a lot of fools in the government. ;)