No need for (p4-push-window-config) any more.