this is exactly that caused the problem in the first place x_D
But your suggestion brought me back to the REST docs where I started trying things out again...
We installed a server update the other day and we had to restart Opencast and we also rebuilt the admin-UI AssetManager index. It seems that that helped, as now the following did work:
DELETE /api/workflows/{workflowInstanceId}
...which did not work when I first tried it (right after the incident).
So, the stuck workflows (stopped but with running operations) are now gone.
Thanks!
ypatios