If an extension wrapped by `ExtensionDiff` doesn't change, diff tool will declare it as "compatible" instead of unchanged.