Convert a push-filter to a pull-filter (for simple streams) - View it on GitHub