Delete operators.html