A WordPress plugin that disables unfiltered HTML for the Editor role.