squash! Adding notion dist-copy