They were created with draw.io (https://about.draw.io/).