HTML sanitizer used by the Firefox OS e-mail client