The source to www.draw.io