X-ray: a Python library for finding bad redactions in PDF documents