PDF editing/redacting tool