Oh, this is an interesting point. We need an issue about that and discuss what’s the best way to detect modifications. Tracked in #1318.
Oh, this is an interesting point. We need an issue about that and discuss what’s the best way to detect modifications. Tracked in #1318.