History tools/pdfscan.py