Comment by daenz

Redacting is a long accepted practice when revealing information but preserving secrets.