added pdf overviews and revised worker.ml