#!/bin/sh
tee | diff-filter | $PAGER