That’s great news! Draw.io is fantastic and I keep discovering new things about it. So thank you for making it easy to use with an optional rich set of options!