replaced with draw.io noncompressed version