Fix ‘Opera Mini and JavaScript’ article