It wouldn't have been draw.io / https://app.diagrams.net/ https://app.diagrams.net/, would it? I use that tool frequently, and loved that feature at a company w

It wouldn't have been draw.io / https://app.diagrams.net/ https://app.diagrams.net/, would it? I use that tool frequently, and loved that feature at a company where data couldn't be stored on external servers