Thank you! I think any competition is welcome for search engines, with Google going down the monetization path.

A piece of feedback: When I select "Remove top ...." and click Submit, then click Next, the popularity filter is gone.

Edit: looks like the file type filter is dropped as well. Do add the arguments to the pagination links.