Issue #87 - re-added cached-destructive-push