Ok, I see. We could rely entirely on the logging on "our side" and change this to a `case object ErrorClosed`.
Sounds good to me.