anchor.diff:  
   M_BANNER_NEWLINE
   :
  -   '\n' -> type(NEWLINE), mode(M_MOTD_EOF)
  +   F_Newline+ -> type(NEWLINE), mode(M_MOTD_EOF)
   ;
   
   mode M_CERTIFICATE;
  
positive.code: 
  WS
  :
     F_Whitespace -> channel(HIDDEN)
  ;
  
  // Fragments
  
negative.code: 
  M_COMMENT_NEWLINE
  :
     F_Newline+ -> type(NEWLINE), popMode
  ;
  
  M_COMMENT_NON_NEWLINE
  :
     F_NonNewline+
  ;
  
  mode M_DES;
  