When this happens again, can you try to find if the node is divergent?

I suspect it is, and that this is mostly a race problem of the disk failing to acknowledge the write, but having been able to write it, and Mongo does not know.

Let's see... funny that contributions for these projects depend on what people have problems with :D

Hence why diversity is important.