Renders shortcodes from Divi pagebuilder

While I like the many configuration options of this plugin, there is one major disadvantage that makes it useless for many websites: If the page contains shortcodes from a pagebuilder like Divi, these shortcodes will be visible in the resulting PDF, which is definitely not what you want.