well, they used to be - I just went and saw they sprinkled llms into it so yeah, now it's different. Diagrams.net aka Draw.io was what they were using...