This is a great workaround for Notion's native PDF support. As a newcomer to Notion, I recently discovered its PDF limitations. In the past, we used Confluence with the Scroll PDF exporter to customize our exports.
I'm not entirely comfortable with the need to publish all documents just to generate a PDF. I'd prefer a more integrated solution. I'm not sure if Notion allows third-party integrations, but I would definitely consider purchasing this as an add-on.