Benchmarker has an export pdf button and other small tweaks