Sanitizer: allow <pre> element