NB: .png files made on https://www.draw.io. They can be edited by loading the .xml file with the same name