filter.js: document filter_query()