We have had three operators within a few days which ran into the same cause
and had not been able to figure out what went wrong.

addresses #833, #822