anchor.diff:    jQuery("p#contactUsLink").toggle();
     });
   
  +setOption(['CDN'], 'server', "${WEB_PROPERTIES['head.cdn.location']}");
  +
   if ((typeof intermine != 'undefined') && (intermine.Service != null)) {
       // Set up the service, if required.
       var root = window.location.protocol + "//" + window.location.host + "/${WEB_PROPERTIES['webapp.path']}";
  
positive.code:         "token": "${PROFILE.dayToken}",
          "help": "${WEB_PROPERTIES['feedback.destination']}"
      });
      var notification = new FailureNotification({message: $SERVICE.root + " is incorrect"});
  
      $SERVICE.fetchVersion().then(reportVersion, notification.render);
  
negative.code:     if (ua && ua.msie && parseInt(ua.version, 10) < 9) { // removed in 1.9.1
          new Notification({message: '<fmt:message key="old.browser"/>'}).render();
      }
  }
  
  function setOption (ns, key, val) {
      var i, step, options = (window.intermine && window.intermine.options);
      if (!options) return;
      for (i = 0; i < ns.length; i++) {
          step = ns[i];
          options = options[step] || (options[step] = {});
      }
      options[key] = val;
  }
  
  function reportVersion (v) {
  