Document the Jenkins sanitizer