Great article! The diagrams look nice. What did you use to generate those diagrams?