Notion's built-in PDF exporter is quite disappointing to say the least, so I built (well, Claude did) an alternative. It uses a hosted puppeteer service in the background (browserless.io) and allows for more customization.