What do to if sync. import "times out"?

I had a network issue on the sync. gateway where it temporarily lost connectivity. During this (I guess) an update to a document was not sent to the mobile app so I searched the sg_info.log for clues and found this:

2020-04-12T11:16:33.485+02:00 [INF] Javascript: Sync doc id: ObservationType:6, ispublic: true, userkey=undefined,  creation
2020-04-12T11:16:33.485+02:00 [INF] Javascript: Sync public, id: ObservationType:6
2020-04-12T11:16:35.985+02:00 [WRN] setOldRevisionJSON failed: doc="ObservationType:6" rev="" err=operation has timed out -- db.(*Database).setOldRevisionJSON() at revision.go:298
2020-04-12T11:16:38.486+02:00 [INF] Import: Error importing doc "ObservationType:6": operation has timed out

Now, I tried to force sync.gateway to “re-read” that update. I even rebooted the server and took it offlline, ran resync and took it online again. Nothing happened.

I finally edited the document serverside and then it made it to the right channel:

2020-04-13T00:20:06.490+02:00 [INF] Javascript: Sync doc id: ObservationType:6, ispublic: true, userkey=undefined,  creation
2020-04-13T00:20:06.490+02:00 [INF] Javascript: Sync public, id: ObservationType:6
2020-04-13T00:20:06.491+02:00 [INF] CRUD: 	Doc "ObservationType:6" / "1-02dfc6d9bfd568749317b5e39a6ca4b7" in channels "{!}"

So my question is: What could I have done instead of editing the document? It could have been quite impractical to edit the documents if this issue had been in our production environment and affected many more documents…