Delete htmlarea files (closes #3518)