This looks pretty rad. You can:

• Edit .drawio or .dio files in the Draw.io editor, as xml or both.
• Edit .drawio.svg files with embedded Draw.io diagrams
• Use an offline version of Draw.io by default
• Configure an online Draw.io URL
• Select a Draw.io theme