Hello. should "pulumi refresh" also refresh resource properties on the "IgnoreChanges" list? (Azure+dotnet). Appears counter-intuitive to me. Thanks