Currently app supports Export as JSON and PNG only. + new option Export as DOT. + It will convert the graph to DOT language and prompt to dowonload