Saw this too, was gone when I updated trunk again.  I think 
                      
      <span id="clippy_tooltip_clippy_1949" class="clippy-tooltip tooltipped" title="Copy SHA">
      
      </span>


                
                  <span class="sha">96eabe4c7d</span> was the fix.<br><br>-Alex<br>