[Gretl-devel] The filter() function