Server filter
Server fetcher receives filter criteria when SERVER_FILTER is enabled.
Server-side filter protocol
Filter changes reset pages and pass HistoryFilter to the fetcher.
History