A redaction tool for Social Security Numbers in PDFs.