Well no kidding. I used this a couple days ago with a coworker where we had to make a quick diagram and didn't know what to use. I searched google, this came up quickly, was able to get it on drive so he and I could each do work on it, and then able to export to pdf pretty seamlessly. Figure if it shows up on HN a few days after discovering and using it myself, I should write about the positive experience.