What is PDFtion?
Here's the deal. The default Notion export to PDF is kind of ugly. It shows the properties table, text is huge, there's the scaling thing but doesn't really work that well. It's a mess. This is a better Notion to PDF than Notion's own. And it's free.