anchor.diff:          new EventHandler(fun _ _ ->
                               let newOptions = optionsReader.GetOptions()
                               if haveOptionsChanged newOptions then
  -                                optionsChanged.Trigger(new OptionsChangedEventArgs(currentOptions, newOptions))
  +                                optionsChanged.Trigger(new OptionsChangedEventArgs(newOptions))
                               currentOptions <- newOptions
           )
   
  
positive.code:         else
              timer.Tick.RemoveHandler(onElapsed)
              timer.Stop()
  
      /// Gets whether this monitor is currently listening for option changes
      member __.IsListening = timer.IsEnabled
negative.code:     
      [<CLIEvent>]
      member __.OptionsChanged = optionsChanged.Publish
  
      /// Starts listening for option changes
      member __.Start() =
  