I’ve abandoned many attempts since last Thursday to update via IDE.
It has one operation remaining.
Fetching com.dynamo.cr.bob_1.0.0.201604041…305b6722b73772/editor/repository/plugins
and it switches every now and then to be com.dynamo.cr.bob_1.0.0.201604041…c305b6722b73772/editor/repository/plugins
Probably same file…
in the window view.