anchor.diff:  /// Default options for 'DeployRelease'
   let deployOptions = {
       Project = ""; DeployTo = ""; Version = ""; Force = false; WaitForDeployment = false; 
  -    DeploymentTimeout = None; DeploymentCheckSleepCycle = None }
  +    DeploymentTimeout = None; DeploymentCheckSleepCycle = None; SpecificMachines = None }
   
   /// Default options for 'DeleteReleases'
   let deleteOptions = { 
  
positive.code:     Force                       : bool
      WaitForDeployment           : bool
      DeploymentTimeout           : TimeSpan option
      DeploymentCheckSleepCycle   : TimeSpan option }
  
  /// Options for deleting a range of releases in a project
  type DeleteReleaseOptions = {
  
negative.code:       (flag "force" opts.Force)
        (flag "waitfordeployment" opts.WaitForDeployment)
        (optionalObjParam "deploymenttimeout" opts.DeploymentTimeout)
        (optionalObjParam "deploymentchecksleepcycle" opts.DeploymentCheckSleepCycle)
        (optionalStringParam "specificmachines" opts.SpecificMachines) ] 
      |> List.fold (+) ""
  
  /// [omit]
  