Delete about_operators.js