Just found Miro and done some testing (as free user).
The PDF export is pretty much useless IF that’s just a raster (image/bitmap) file as PDF.
It should be a vector file, importable e.g. to Adobe Illustrator, Inkscape etc. as scalable vectors.
Hope this is implemented = I’ll start as paid user right away!