Alternative diagram export formats

Diagrams can be exported* to a number of alternative formats, including:

* diagrams cannot be exported from client-side encrypted workspaces

From the workspace summary page, click the PlantUML or WebSequenceDiagrams labels.