Dominik Wagner: The design decision why your personal choice of having ugly fonts in smaller font sizes should be hard baked into generated PDFs puzzles me. It strikes me simply as an over-eager implementation of a feature that makes the world a worse place.