Yeah, a draw.io integration would have been great.