anchor.diff:        <B>Oops!  Someone modified the page while you were editing it!</B>
         </P>
   
  -      <P>Since I am stupid and can't figure out what the difference 
  -      between those pages is, you will need to do that for me.  I've printed here
  -      the text (in Wiki) of the new page, and the modifications you made.  You'll
  -      now copy the text onto a scratch pad (Notepad or emacs will do just fine),
  -      and then edit the page again.</P>
  +      <P>Since I am stupid and can't figure out what the difference
  +      between those pages is, you will need to do that for me.  I've
  +      printed here the text (in Wiki) of the new page, and the
  +      modifications you made.  You'll now need to copy the text onto a
  +      scratch pad (Notepad or emacs will do just fine), and then edit
  +      the page again.</P>
   
         <P>Note that when you go back into the editing mode, someone might have
         changed the page again.  So be quick.</P>
  
positive.code:     }
  
      // FIXME: Should the usertext be removed from the session?
      String usertext = getSession().getParameter("usertext");
  
      log.info("Page concurrently modified "+pagereq);
  %>
  
negative.code:   <TR>
      <TD WIDTH="15%" VALIGN="top">
         <%@ include file="LeftMenu.jsp" %>
         <BR><BR>
         <P>
         <A HREF="Edit.jsp?page=<%=pagereq%>">Go edit <%=pagereq%></A>
         </P>
         <P>
         <%@ include file="LeftMenuFooter.jsp" %>
         </P>
      </TD>
      <TD WIDTH="85%" VALIGN="top">
        <H1>Concurrent modification of <%=pagereq%></H1>
  