>How should this button be 
>labeled? "Auto-fix HTML"?