I have the ability to export full quality PDFs.
When I do, what looks good and reasonable at 100% view size in Miro.com looks about half that that size when I export to PDF.
It’s like there’s a mismatch between PPI and DPI.
This causes problems when someone views my PDF in an app that doesn’t automatically scale up the PDF to fill their available screen space. (for example when embedded in a Slack channel)