issues a warning and updates the message on each server with the union
of both flag lists.)
Repeat this step if the server sent some updates in the meantime.
-Otherwise, update the HIGHESTMODSEQ values in the database.
+Otherwise, update the HIGHESTMODSEQ value in the database.
.IP \n+[step].
Process new messages (if the current UIDNEXT value differ from the one
message RFC822 body received, issue an APPEND command to the other
server on\-the\-fly.
Repeat this step if the server received new messages in the meantime.
-Otherwise, update the UIDNEXT values in the database.
+Otherwise, update the UIDNEXT value in the database.
Go back to step 2 if the server sent some updates in the meantime.
.IP \n+[step].