They're created using https://www.draw.io/