or even the "export to ascii" of draw.io? I would be happy to hear what the advantages could be.