4.5.3 20160122, Win2012R2

After editing a policy builder policy and saving it, if I do a
compare/deploy, Designer doesn't detect any changes.

I have to *close* the policy before it "sees" that it has changed.

After that I can do a compare/deploy.

This is a policy that is part of a package, doesn't matter if I edit it
in the package development vault or directly in the "real" vault, the
star (*) that appears when you edit a policy that is part of a package
doesn't display until I close it...

Anybody else notice this? It really gives me a motivation to go to the
south pole and study ice all day long instead of working in Designer ;-)