[rmunn]

But draw.io doesn't produce text "drawings", it's a graphical drawing editor. Not the same thing at all.