A tool to allow batch PDF export for free Notion users. You can export as HTML and then use this tool to convert those into PDFs. - ganeshh123/notion-pdf-export ...