A High level HTML fragment sanitizer.