<ocdtrekkie>
draw.io had two export options which try to call an external server. Rather than try to bake in like Chromium and stuff to render PDF exports, I am removing the options instead.
<ocdtrekkie>
The other export that won't be included is Visio, and I think that's okay too.
<ocdtrekkie>
But every major browser and OS can print to PDF for free, and the flow for that works fine without draw.io itself generating the PDF.