Files were created in draw.io You can download, edit, upload and do whatever you like with that file. Just let me know via Twitter :)