rename pdf_dump to extraction to confuse Jeremy less