Delete extra_filtering.js