pdfrepo coverage, more ferenda.unit coverage, don't litter cwd with temporary files