[davidjgraph]

On draw.io we produce PDFs of diagrams both client and server side. It's not at all hard to do it client-side. The point you really wanted to make was that a server would be required to echo the PDF back to the user.