(edit the deployment record, that is)