PDF Search: a short history of richard kline