• How are PDF documents sanitized?