anchor.diff:      </div>
   
       <script type="text/javascript">
  +    // are we showing a minimized welcome box?
  +    if (jQuery.getCookie("welcome-visibility") == "minimized") toggleWelcome("fast");
  +
       /* hide switcher of we are on first time here */
       if ($("#switcher-1").hasClass('current')) {
         $("#switcher").hide();
  
positive.code:             }
              });
          }
        } else {
          $("#ctxHelpDiv.welcome").slideUp(function() {
            $("#welcome").slideDown("slow");
          });
        }
      }
  
negative.code: 
    <script type="text/javascript">
      // minimize big welcome box into an info message
      function toggleWelcome(speed) {
        // default speed
        if (speed == null) speed = "slow";
  
        // minimizing?
        if ($("#welcome").is(':visible')) {
          // hide the big box
          if (speed == "fast") {
            $('#welcome').toggle();
          } else {
            $('#welcome').slideUp();
          }
          // do we have words to say?
          var welcomeText = $("#welcome-content.current").text();
          if (welcomeText.length > 0) {
            $("#ctxHelpDiv.welcome").slideDown(speed, function() {
              // ...display a notification with an appropriate text
              if (welcomeText.length > 150) {
                // ... substr
  