anchor.diff:                   PlumtreeBackend,
                    Plumtree,
                    MarathonPeerRefresh,
  -                 Process,
  -                 Web],
  +                 Process],
   
       InstrDefault = list_to_atom(os:getenv("INSTRUMENTATION", "false")),
       InstrEnabled = application:get_env(?APP, instrumentation, InstrDefault),
  
positive.code: 
              %% If instrumentation is enabled, run the web service on
              %% port 80.
              lasp_config:set(web_port, 80),
  
              BaseSpecs ++ [ClientTrans,
                            ServerTrans,
                            Divergence];
          false ->
              BaseSpecs
      end,
  
      SimDefault = list_to_atom(os:getenv("AD_COUNTER_SIM", "false")),
  
negative.code:             ok
      end,
  
      MarathonPeerRefresh = {lasp_marathon_peer_refresh_service,
                             {lasp_marathon_peer_refresh_service, start_link, []},
                              permanent, 5000, worker,
  