in your file manager, rename the file so it ends in .pdf
if you're on windows, make sure that File Name Extensions is checked
in the View tab of Explorer
right click -> Rename, go to the end of the file name and pop .pdf at the end
Windows will whine about you doing it claiming it can make the file
"unusable" but click yes anyways
and then shazam, you can use the pdf as a pdf on windows
> To view this discussion, visit
https://groups.google.com/d/msgid/drawio/em0eaebe68-4754-418c-b49d-a0760386fe89%404f4cac06.com.