A basic HTML filter, useful against trusted WYSIWYG editors