plastic-board: extract the useful bits of a LaTeX log