The HTML strip character filter