ENHANCED: Accept that our shadow editor can loose synchronization.
Reply with an HTTP 409 (consistency error), allowing the client to
send all data and resynchronise.
Various fixes to server highlighting:  more flexible reaction
if synchronization is lost, cleanup, changed-state tracking, etc.