Now that github is back, pushing fixed HTML Stripper.