pdf renderer hack: make sure, high generation times are not shown like 1&nbsp;min&nbsp;4.6s