Nightly web (#514): make filtering work.